7395 search results - page 1213 / 1479 » Social Modeling and i* |
170
click to vote
CEEMAS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. In update logic the interpretation of an action is often assumed to be independent from the agents’ beliefs about the situation (see [BMS04] or [Auc05]). In this paper ...
180
click to vote
ICFEM
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
181
click to vote
MSWIM
2004
ACM
16 years 2 days ago
2004
ACM
Emerging “urban” ad hoc networks resulting from a large number of individual WLAN users challenge the way users could explore and interact with their physical surroundings. Ro...
206
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
The effectiveness of simulation-based training for individual tasks – such as piloting skills – is well established, but its use for team training raises challenging technical...
172
click to vote
FOSSACS
2003
Springer
15 years 12 months ago
2003
Springer
Genericity is the idea that the same program can work at many different data types. Longo, Milstead and Soloviev proposed to capture the inability of generic programs to probe th...