729 search results - page 59 / 146 » Communicating Evolving Algebras |
ITSSA
2006
13 years 8 months ago
2006
Abstract: This paper targets the reactive autonomic system's self-monitoring of one of the most important nonfunctional properties, reliability. There are currently no adequat...
SIGCSE
2008
ACM
13 years 8 months ago
2008
ACM
Traditional coverage of network programming techniques in a computer networking course addresses sockets, remote procedure call, and object-oriented remote procedure call. We prop...
ECOOP
1995
Springer
14 years 8 days ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
MM
2010
ACM
13 years 9 months ago
2010
ACM
Huge amounts of social multimedia is being created daily by a combination of globally distributed disparate sensors, including human-sensors (e.g. tweets) and video cameras. Taken...
ISCC
2007
IEEE
14 years 3 months ago
2007
IEEE
An optimally working mobile system requires tight cooperation and an information stream that flows impeccably between its components. This, however, is not the current state of t...