4201 search results - page 370 / 841 » Interaction graphs: Additives |
221
click to vote
CMSB
2007
Springer
16 years 1 months ago
2007
Springer
For modeling and analyzing regulatory networks based on qualitative information and possibly additional temporal constraints, approaches using hybrid automata can be very helpful. ...
190
click to vote
ICSOC
2007
Springer
16 years 29 days ago
2007
Springer
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...
169
click to vote
ETFA
2006
IEEE
16 years 26 days ago
2006
IEEE
Wireless Sensor and Actor Networks (WSANs) constitute an emerging and pervasive technology that is attracting increased interest for a wide range of applications. WSANs have two m...
160
click to vote
IROS
2006
IEEE
16 years 25 days ago
2006
IEEE
— Our goal is to create roadmaps that are particularly suited for motion planning in virtual environments. We use our Reachability Roadmap Method to compute an initial, resolutio...
180
click to vote
ISOLA
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...