7557 search results - page 87 / 1512 » Modeling Timed Concurrent Systems |
126
click to vote
ERLANG
2003
ACM
15 years 6 months ago
2003
ACM
In this paper, some experiences of using the concurrent functional language Erlang to implement a classical vertical application, a risk management information system, are present...
103
click to vote
COORDINATION
2009
Springer
16 years 2 months ago
2009
Springer
In protocol development for wireless systems, the choice of appropriate mobility models describing the movement patterns of devices has long been recognised as a crucial factor for...
119
click to vote
SPIN
2010
Springer
14 years 12 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
108
click to vote
MOBISYS
2008
ACM
16 years 1 months ago
2008
ACM
Using 802.11 concurrently for communications and positioning is problematic, especially if location-based services (e.g., indoor navigation) are concurrently executed with real-ti...
109
Voted
ICLP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...