29143 search results - page 284 / 5829 » A Sortation System Model |
156
click to vote
ROBIO
2006
IEEE
16 years 17 days ago
2006
IEEE
– Different methodologies exist to direct the motion of sensors to detect targets moving across an environment in various scenarios. However, some of these do not model that navi...
173
click to vote
ECBS
2006
IEEE
16 years 19 days ago
2006
IEEE
Complex and distributed systems are more and more common. Hardware is going from strength to strength and is embedded in high performance peer-to-peer networks mostly. The task of...
195
click to vote
ETFA
2006
IEEE
16 years 19 days ago
2006
IEEE
Industrial automation systems may include people, hardware, software and others necessaries to produce the desirable results. The SysML modeling language is being proposed, by OMG...
189
click to vote
ATAL
2005
Springer
16 years 3 days ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...