878 search results - page 110 / 176 » Modelling Communicating Agents in Timed Reasoning Logics |
136
click to vote
DATE
2007
IEEE
16 years 20 days ago
2007
IEEE
AUTOSAR is a recent specification initiative which focuses on a model-driven architecture like methodology for automotive applications. However, needed engineering steps, or how-t...
150
click to vote
FORTE
2001
15 years 7 months ago
2001
The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
168
click to vote
ICNP
2009
IEEE
16 years 1 months ago
2009
IEEE
—With advances in energy harvesting techniques, it is now feasible to build sustainable sensor networks (SSN) to support long-term applications. Unlike battery-powered sensor net...
156
click to vote
ICLP
1997
Springer
15 years 10 months ago
1997
Springer
Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which propert...
149
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
We introduce the Multiagent Agreement Problem (MAP) to represent a class of multiagent scheduling problems. MAP is based on the Distributed Constraint Reasoning (DCR) paradigm and...