4460 search results - page 300 / 892 » Formal methods for interactive systems |
196
click to vote
IPPS
1997
IEEE
15 years 11 months ago
1997
IEEE
Tools for parallel systems today range from specification over debugging to performance analysis and more. Typically, they help the programmers of parallel algorithms from the ea...
169
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we incorporate autonomous agents' capability to perform parallel interactions into the cooperative search model, resulting in a new method which outperforms the...
174
Voted
ENTCS
2006
15 years 6 months ago
2006
Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in componentbased systems, we ...
176
Voted
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Wireless networks are a common place nowadays and almost all of the modern devices support wireless communication in some form. These networks differ from more traditional computi...
196
click to vote
RT
2004
Springer
16 years 9 hour ago
2004
Springer
Falling snow has the visual property that it is simultaneously a set of discrete moving particles as well as a dynamic texture. To capture the dynamic texture properties of fallin...