1676 search results - page 150 / 336 » Formal Development of Self-organising Systems |
SOFSEM
2007
Springer
15 years 4 months ago
2007
Springer
Due to their increasing complexity, design of software systems is not becoming easier. Furthermore, modern applications ranging from enterprise to embedded systems require very hig...
101
click to vote
KR
2004
Springer
15 years 3 months ago
2004
Springer
There are numerous applications such as air traffic management, cellular phone location tracking, and vehicle protection systems where there is a critical need to reason about mo...
FM
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
ACL
2003
14 years 11 months ago
2003
This paper presents a novel information system integrating advanced information extraction technology and automatic hyper-linking. Extracted entities are mapped into a domain onto...
ACL
1998
14 years 11 months ago
1998
In orderto realize their full potential, multimodalsystems need to support not just input from multiple modes, but also synchronized integration of modes. Johnston et al (1997) mo...