878 search results - page 90 / 176 » Interacting Abstract State Machines |
143
click to vote
SOCA
2008
IEEE
15 years 3 months ago
2008
IEEE
Specification, modeling and analysis of interactions among peers that communicate via messages are becoming increasingly important due to the emergence of service oriented computi...
136
click to vote
EMSOFT
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We present a framework to extend the concept of type systems in programming languages to capture the dynamic interaction in component-based design, such as the communicat...
137
click to vote
RAID
2010
Springer
15 years 1 months ago
2010
Springer
We introduce BotSwindler, a bait injection system designed to delude and detect crimeware by forcing it to reveal during the exploitation of monitored information. The implementati...
142
click to vote
DC
2008
15 years 3 months ago
2008
Fast algorithms are presented for performing computations in a probabilistic population model. This is a variant of the standard population protocol model--in which finite-state ag...
154
click to vote
ICML
2005
IEEE
16 years 4 months ago
2005
IEEE
The Web contains an abundance of useful semistructured information about real world objects, and our empirical study shows that strong sequence characteristics exist for Web infor...