3565 search results - page 236 / 713 » Modeling a system controller for timing analysis |
124
click to vote
ENTCS
2007
15 years 3 months ago
2007
In this paper we present an analysis of a MAC (Medium Access Control) protocol for wireless sensor networks. The purpose of this protocol is to manage wireless media access by con...
135
click to vote
IEAAIE
1995
Springer
15 years 7 months ago
1995
Springer
High level Petri Nets have recently been used for many AI applications, particularly for modelling traditional rule-based expert systems. The major effect is to facilitate the ana...
157
click to vote
IPCV
2010
15 years 1 months ago
2010
- Conventional video games are controlled by players via physical game controllers. A new emerging trend for game control in recent years is to use intelligent sensor based interfa...
121
click to vote
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
In this paper, we study the reachability problem for the class of (strictly) monotone Petri nets that we define based on algebraic conditions. More specifically, given a (strictly)...
136
click to vote
ICSM
2003
IEEE
15 years 9 months ago
2003
IEEE
Software systems no longer evolve as separate entities but are also integrated with each other. The purpose of integrating software systems can be to increase user-value or to dec...