1676 search results - page 103 / 336 » Formal Development of Self-organising Systems |
COMPSAC
2008
IEEE
15 years 4 months ago
2008
IEEE
The conflicting requirements of real-time embedded systems, e.g. minimizing memory usage while still ensuring that all deadlines are met at run-time, require rigorous analysis of...
ENTCS
2008
14 years 10 months ago
2008
Engineering natural and appropriate interactive behaviour in ubiquitous computing systems presents new challenges to their developers. This paper explores formal models of interac...
TLDI
2009
ACM
15 years 6 months ago
2009
ACM
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
WWW
2004
ACM
15 years 10 months ago
2004
ACM
Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such SW service systems requires precise a...
WSC
1997
14 years 11 months ago
1997
This paper addresses the issues related to the decision processes of manufacturing system simulation. The manufacturing system is perceived in terms of intelligent entities capabl...