878 search results - page 122 / 176 » Modelling Communicating Agents in Timed Reasoning Logics |
132
click to vote
INFOSCALE
2007
ACM
15 years 1 months ago
2007
ACM
It is important to provide adaptive data processing in wireless sensor networks in order to deal with various applications. In this paper,we propose a WIreless Sensor Networks Ont...
116
click to vote
IJCSA
2006
14 years 12 months ago
2006
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
AIM
2006
14 years 12 months ago
2006
maintain awareness of its environment for a long period of time. Additionally, knowledge-intensive agents must be engineered such that their knowledge can be easily updated as envi...
EMSOFT
2001
Springer
15 years 4 months ago
2001
Springer
rovides an abstract programmer’s model for the implementation of embedded control systems with hard real-time constraints. A typical control application consists of periodic soft...
116
click to vote
UML
2004
Springer
15 years 5 months ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...