Sciweavers

6047 search results - page 190 / 1210
» A Scenario Construction Process
Sort
View
EWSPT
2003
Springer
16 years 11 days ago
Process Support for Evolving Active Architectures
Long-lived, architecture-based software systems are increasingly important. Effective process support for these systems depends upon recognising their compositional nature and the ...
R. Mark Greenwood, Dharini Balasubramaniam, Sorana...
CSFW
2000
IEEE
15 years 11 months ago
Information Flow Analysis in a Discrete-Time Process Algebra
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...
Riccardo Focardi, Roberto Gorrieri, Fabio Martinel...
ADL
2000
Springer
305views Digital Library» more  ADL 2000»
15 years 11 months ago
Effects of Word Recognition Errors in Spoken Query Processing
The effects of word recognition errors (WRE) in Spoken Document Retrieval have been well studied and well reported in recent Information Retrieval (IR) literature. Much less exper...
Fabio Crestani
MFCS
1994
Springer
15 years 11 months ago
A Proof System for Asynchronously Communicating Deterministic Processes
We introduce in this paper new communication and synchronization constructs which allow deterministic processes, communicating asynchronously via unbounded FIFO bu ers, to cope wi...
Frank S. de Boer, M. van Hulst
ACRI
2010
Springer
15 years 8 months ago
Parallel Composition of Asynchronous Cellular Automata Simulating Reaction Diffusion Processes
A method of constructing asynchronous cellular automata (ACA model) as a parallel composition of two interacting ACA is presented. The resulting ACA is intended to simulate a proce...
Olga L. Bandman