1676 search results - page 156 / 336 » Formal System Development with KIV |
200
click to vote
AOSD
2010
ACM
16 years 1 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...
167
click to vote
HICSS
1998
IEEE
15 years 10 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...
152
click to vote
CSCW
1994
ACM
15 years 10 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...
198
click to vote
ATAL
2007
Springer
16 years 18 days 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...
190
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...