Results 21 to 30 of about 30,066 (292)

gruntCount (bass clarinet Edition): blurring the piece, system, instrument distinction [PDF]

, 2014
Martin Parker’s gruntCount is a multi-version, configurable composition for improvising musician (or musicians) and computer. Performers embark on a journey through sound processing modules that are specifically customised to individual playing styles ...
Parker, Martin, Peter, Furniss,
core   +1 more source

(G)hosting television: Ghostwatch and its medium [PDF]

, 2014
This article’s subject is Ghostwatch (BBC, 1992), a drama broadcast on Halloween night of 1992 which adopted the rhetoric of live non-fiction programming, and attracted controversy and ultimately censure from the Broadcasting Standards Council.
Barr C., Brown P., Buckingham D., Caldwell J. T., Chapman A., Debrett M., Ellis J., Ellis J., Evans E., Feuer J., Gitelman L., Graves D., Hardy R., James Zborowski, Jenkins H., Marriott S., McLoone M., Neale S., Newman K., Paget D., Rich Lawden, Rigby J., Scannell P., Scannell P., Sconce J., Tom Steward, Wheatley H., White M., Williams R.   +28 more
core   +1 more source

Hearing Glenn Gould's Body: Corporeal Liveness in Recorded Music

Current Musicology, 2009
Live music does not exist without its recorded other. In other words, the concept of liveness in music was unknown until there was something not live-recordings-with which to compare it.
Paul Sanden
doaj   +1 more source

Synthesizing Finite-state Protocols from Scenarios and Requirements [PDF]

, 2014
Scenarios, or Message Sequence Charts, offer an intuitive way of describing the desired behaviors of a distributed protocol. In this paper we propose a new way of specifying finite-state protocols using scenarios: we show that it is possible to ...
B. Bollig, B. Finkbeiner, B. Jobstmann, D. Harel, G. Katz, G. Katz, J.F. Kurose, P. Ramadge, S. Tripakis   +8 more
core   +1 more source

Liveness of Randomised Parameterised Systems under Arbitrary Schedulers (Technical Report)

, 2016
We consider the problem of verifying liveness for systems with a finite, but unbounded, number of processes, commonly known as parameterised systems. Typical examples of such systems include distributed protocols (e.g. for the dining philosopher problem).
Lin, Anthony W., Ruemmer, Philipp
core   +2 more sources

Live Synthesis

Innovations in Systems and Software Engineering, 2021
AbstractSynthesis automatically constructs an implementation that satisfies a given logical specification. In this paper, we study the live synthesis problem, where the synthesized implementation replaces an already running system. In addition to satisfying its own specification, the synthesized implementation must guarantee a sound transition from the
Finkbeiner, Bernd, Klein, Felix, Metzger, Niklas   +2 more
openaire   +3 more sources

A Resource Allocation Approach for Enforcing Liveness on a Class of Petri Nets

IEEE Access, 2018
Liveness enforcement is of great importance to resource allocation systems (RASs) since liveness is closely related to their performance and security. Petri nets (PNs) are widely used to analyze, model and control RAS.
Dan You, Shouguang Wang, Hao Dou, Wenli Duo   +3 more
doaj   +1 more source

An Axiomatic Approach to Liveness for Differential Equations

, 2019
This paper presents an approach for deductive liveness verification for ordinary differential equations (ODEs) with differential dynamic logic. Numerous subtleties complicate the generalization of well-known discrete liveness verification techniques ...
A Abate, A Platzer, A Platzer, A Platzer, A Platzer, A Platzer, A Podelski, A Sogokon, A Taly, C Chicone, E Goubault, G Frehse, J Bochnak, J Liu, K Ghorbal, L Doyen, R Alur, S Prajna, S Prajna, S Ratschan, SS Owicki, W Walter, X Chen, Z Manna   +23 more
core   +1 more source

The Effectiveness of Depth Data in Liveness Face Authentication Using 3D Sensor Cameras

Sensors, 2019
Even though biometric technology increases the security of systems that use it, they are prone to spoof attacks where attempts of fraudulent biometrics are used.
Ghazel Albakri, Sharifa Alghowinem
doaj   +1 more source

Liveness-Based Garbage Collection for Lazy Languages

, 2016
We consider the problem of reducing the memory required to run lazy first-order functional programs. Our approach is to analyze programs for liveness of heap-allocated data.
Appel A. W., Asati R., Karkare A., Mohri M., Peyton Jones S. L., Shaham R., Wadler P.   +6 more
core   +1 more source