Sciweavers

7956 search results - page 369 / 1592
» Into the Future
Sort
View
ENTCS
2010
119views more  ENTCS 2010»
15 years 7 months ago
Bio-PEPA for Epidemiological Models
Many models have been defined in order to describe the evolution of a disease in a population. The modelling of diseases is helpful to understand the mechanisms for their spread a...
Federica Ciocchetta, Jane Hillston
ERCIM
2010
76views more  ERCIM 2010»
15 years 7 months ago
Digital Preservation of Interactive Multimedia Performances
Interactive multimedia performances are rapidly gaining ground within performing arts communities nowadays, mainly due to breakthroughs in humancomputer interaction technologies, ...
Kia Ng
ENTCS
2008
129views more  ENTCS 2008»
15 years 7 months ago
The York Abstract Machine
Abstract Machine Greg Manning1 Detlef Plump2 Department of Computer Science The University of York, UK duce the York Abstract Machine (YAM) for implementing the graph programming ...
Greg Manning, Detlef Plump
FUIN
2008
74views more  FUIN 2008»
15 years 7 months ago
A P Systems Flat Form Preserving Step-by-step Behaviour
Starting from a compositional operational semantics of transition P Systems we have previously defined, we face the problem of developing an axiomatization that is sound and comple...
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo ...
CCE
2006
15 years 7 months ago
Air separation control technology
Achieving high performance process control (HPPC) requires that the control system operate the plant at optimal efficiency over the full range of steady state and dynamic conditio...
David R. Vinson