130 search results - page 20 / 26 » Multi-Agent Systems as Composition of Observable Systems |
CONCUR
2001
Springer
13 years 11 months ago
2001
Springer
We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a ...
LREC
2008
13 years 8 months ago
2008
We present in this paper a comparison between three segmentation systems for the Vietnamese language. Indeed, the majority of Vietnamese words is built by semantic composition fro...
IM
2007
13 years 8 months ago
2007
Abstract— Software components embedded in ubiquitous systems, especially those using wireless networking, are subject to unpredictable behaviors inherent to using these systems i...
ACSD
2008
IEEE
14 years 1 months ago
2008
IEEE
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...
SOCO
2007
Springer
14 years 24 days ago
2007
Springer
Contemporary software systems are composed of many components, which, in general, undergo phased and incremental development. In order to facilitate the corresponding construction ...