9 search results - page 2 / 2 » On the Expressiveness of Mobile Synchronizing Petri Nets |
109
click to vote
JSS
2006
14 years 11 months ago
2006
The Mobile Agent Intrusion Detection System (MAIDS) is an agent based distributed Intrusion Detection System (IDS). A disciplined requirement engineering process is developed to b...
118
click to vote
AC
2000
Springer
15 years 4 months ago
2000
Springer
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...
133
click to vote
ATVA
2006
Springer
15 years 3 months ago
2006
Springer
Whereas partial order methods have proved their efficiency for the analysis of discrete-event systems, their application to timed systems remains a challenging research topic. Here...
IJACTAICIT
2010
14 years 9 months ago
2010
Using multimodality in a computing system is advantageous in the sense that it makes computing more accessible to a wide range of users including those with impairments. Our work ...