1676 search results - page 147 / 336 » Formal Development of Self-organising Systems |
110
click to vote
AOSD
2010
ACM
15 years 4 months ago
2010
ACM
Over the last five years, several systems have been proposed to take distribution into account in Aspect-Oriented Programming. While they appeared to be fruitful to develop or im...
HICSS
1998
IEEE
15 years 2 months ago
1998
IEEE
We utilize the situation calculus to develop a logical model of hypertext systems. The work builds upon the earlier work of Bieber and Kimbrough in the logical modeling of hyperte...
CSCW
1994
ACM
15 years 2 months ago
1994
ACM
Session management systems for collaborative applications have required a great deal of reimplementation work by developers because they have been typically created on a case-by-c...
LOBJET
2000
14 years 9 months ago
2000
ABSTRACT. As informal methods do little to help their use for concurrent and distributed programming, one of the most challenging current tasks is to build tools based on formal me...
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
The General Game Playing (GGP) problem is concerned with developing systems capable of playing many different games, even games the system has never encountered before. Successful...