Sciweavers

2595 search results - page 132 / 519
» Modes in Asynchronous Systems
Sort
View
CSFW
2008
IEEE
15 years 11 months ago
Information Flow in Systems with Schedulers
Abstract. The focus of work on information flow security has primarily been on definitions of security in asynchronous systems models. This paper considers systems with scheduler...
Ron van der Meyden, Chenyi Zhang
ENTCS
2008
74views more  ENTCS 2008»
15 years 4 months ago
Matching Systems for Concurrent Calculi
Matching systems were introduced by Carbone and Maffeis, and used to investigate the expressiveness of the pi-calculus with polyadic synchronisation. We adapt their definition and...
Bjørn Haagensen, Sergio Maffeis, Iain Phill...
152
Voted
MAM
2006
126views more  MAM 2006»
15 years 4 months ago
HiDRA - A reactive multiprocessor architecture for heterogeneous embedded systems
Embedded systems are typically heterogeneous requiring interacting hardware and software components, are locally synchronous while being globally asynchronous and combine both con...
Zoran A. Salcic, Dong Hui, Partha S. Roop, Morteza...
SSS
2009
Springer
123views Control Systems» more  SSS 2009»
15 years 11 months ago
Scalable P2P Overlays of Very Small Constant Degree: An Emerging Security Threat
In recent years peer-to-peer (P2P) technology has been adopted by Internet-based malware as a fault tolerant and scalable communication medium for self-organization and survival. I...
Márk Jelasity, Vilmos Bilicki
CAEPIA
2003
Springer
15 years 9 months ago
Enhancing Consistency Based Diagnosis with Machine Learning Techniques
This paper proposes a diagnosis architecture that integrates consistency based diagnosis with induced time series classifiers, trying to combine the advantages of both methods. Co...
Carlos J. Alonso, Juan José Rodrígue...