800 search results - page 85 / 160 » Programming Models for Concurrency and Real-Time |
111
click to vote
ROBOCUP
1999
Springer
15 years 5 months ago
1999
Springer
The main ideas behind the implementation of the IALP RoboCup team are discussed: an agent architecture made of a hierarchy of behaviors, which can be combined to obtain different ...
149
click to vote
AIME
2011
Springer
14 years 1 months ago
2011
Springer
This paper describes a novel methodological approach to identifying inconsistencies when concurrently using multiple clinical practice guidelines. We discuss how to construct a for...
100
click to vote
CEC
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...
134
click to vote
SENSYS
2010
ACM
14 years 11 months ago
2010
ACM
Wireless sensor networks (WSNs) are hard to program due to unconventional programming models used to satisfy stringent resource constraints. The common event-driven concurrent pro...
100
click to vote
CORR
2009
Springer
14 years 11 months ago
2009
Springer
Transactional events (TE) are an extension of Concurrent ML (CML), a programming model for synchronous message-passing. Prior work has focused on TE's formal semantics and it...