266 search results - page 34 / 54 » Specification and Verification of Dynamic Communication Syst... |
ECRTS
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper deals with specific issues related to the design of distributed embedded systems implemented with mixed, event-triggered and time-triggered task sets, which communicate...
CODES
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper deals with specific issues related to the design of distributed embedded systems implemented with mixed, eventtriggered and time-triggered task sets, which communicate ...
ENTCS
2008
13 years 8 months ago
2008
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
AI
2010
Springer
13 years 8 months ago
2010
Springer
Delegation is a foundational concept for understanding and engineering systems that interact and execute tasks autonomously. By extending recent work on tensed action logic, it be...
ATAL
2010
Springer
13 years 9 months ago
2010
Springer
Large heterogeneous teams will often be in situations where sensor data that is uncertain and conflicting is shared across a peer-to-peer network. Not every team member will have ...