Sciweavers

338 search results - page 23 / 68
» On the complexity of privacy-preserving complex event proces...
Sort
View
HPCN
2000
Springer
13 years 11 months ago
Modelling Control Systems in an Event-Driven Coordination Language
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
Theophilos A. Limniotes, George A. Papadopoulos
ANSS
2006
IEEE
14 years 1 months ago
iSimBioSys: A Discrete Event Simulation Platform for 'in silico' study of biological systems
With the availability of huge databases cataloguing the various molecular “parts” of complex biological systems, researchers from multiple disciplines have focused on developi...
Samik Ghosh, Preetam Ghosh, Kalyan Basu, Sajal K. ...
WSC
2004
13 years 9 months ago
Dynamic Radiation Dose Visualization in Discrete-Event Nuclear Facility Simulation Models
To improve its process modeling capabilities, Los Alamos has worked toward integrating dose modeling tools with advanced discrete-event simulation tools. To date, dose information...
George Tompkins, Drew E. Kornreich, Robert Y. Park...
FORTE
2010
13 years 9 months ago
On Efficient Models for Model Checking Message-Passing Distributed Protocols
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
Péter Bokor, Marco Serafini, Neeraj Suri
MIDDLEWARE
2005
Springer
14 years 1 months ago
Composite Subscriptions in Content-Based Publish/Subscribe Systems
Distributed publish/subscribe systems are naturally suited for processing events in distributed systems. However, support for expressing patterns about disparate events and algorit...
Guoli Li, Hans-Arno Jacobsen