Sciweavers

1027 search results - page 112 / 206
» Callgraph properties of executables
Sort
View
ISAMI
2010
15 years 1 months ago
A Framework for Modeling and Analysis of Ambient Agent Systems: Application to an Emergency Case
It is recognized in Ambient Intelligence that ambient devices should be modeled as intelligent autonomous components rather than passive information sources. The agent paradigm sui...
Tibor Bosse, Alexei Sharpanskykh
139
Voted
ICUMT
2009
15 years 1 months ago
Information flow security for service compositions
Web services are ubiquitous technologies which are used for integrating business processes and services. As is the case in many other applications, the information processed in we...
Sabina Rossi, Damiano Macedonio
IEEEIA
2009
15 years 1 months ago
Information Leakage Detection in Distributed Systems using Software Agent
Covert channel attacks utilize shared resources to indirectly transmit sensitive information to unauthorized parties. Current security mechanisms such as SELinux rely on tagging th...
Yung-Chuan Lee, Stephen Bishop, Hamed Okhravi, Sha...
ENTCS
2010
118views more  ENTCS 2010»
15 years 1 months ago
Transaction Scripts: Making Implicit Scenarios Explicit
We describe a true-concurrent approach for managing dependencies between distributed and concurrent coordinator components of a long-running transaction. In previous work we have ...
Sotiris Moschoyiannis, Amir R. Razavi, Paul J. Kra...
CORR
2011
Springer
213views Education» more  CORR 2011»
14 years 10 months ago
Liquidsoap: a High-Level Programming Language for Multimedia Streaming
Generating multimedia streams, such as in a netradio, is a task which is complex and difficult to adapt to every users’ needs. We introduce a novel approach in order to achieve i...
David Baelde, Romain Beauxis, Samuel Mimram