254 search results - page 44 / 51 » Extended Process Rewrite Systems: Expressiveness and Reachab... |
MPC
2010
Springer
15 years 2 months ago
2010
Springer
Synchronous functional languages such as Lustre or Lucid Synchrone define a restricted class of Kahn Process Networks which can be executed with no buffer. Every expression is as...
COORDINATION
2009
Springer
15 years 10 months ago
2009
Springer
In protocol development for wireless systems, the choice of appropriate mobility models describing the movement patterns of devices has long been recognised as a crucial factor for...
ISRR
2005
Springer
15 years 3 months ago
2005
Springer
A vision-based automatic tracking system for ocean animals in the midwater has been demonstrated in Monterey Bay, CA. Currently, the input to this system is a measurement of relati...
AAAI
2008
14 years 12 months ago
2008
Answer-set programming (ASP) is widely recognised as a viable tool for declarative problem solving. However, there is currently a lack of tools for developing answer-set programs....
RTCSA
2000
IEEE
15 years 1 months ago
2000
IEEE
With the advance of applications such as multimedia, imagelspeech processing and real-time AI, real-time computing models allowing to express the “timeliness versus precision”...