7929 search results - page 1308 / 1586 » Applications experience in Jade |
186
click to vote
IFM
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
216
click to vote
SAB
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. In this paper, we review methods used for macroscopic modeling and analyzing collective behavior of swarm robotic systems. Although the behavior of an individual robot in...
207
click to vote
SEMWEB
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. The increasing awareness of the benefits of ontologies for information processing has lead to the creation of a number of large ontologies about real world domains. The ...
210
click to vote
WCRE
2003
IEEE
16 years 2 days ago
2003
IEEE
Graphical user interfaces (GUIs) are important parts of today’s software and their correct execution is required to ensure the correctness of the overall software. A popular tec...
208
click to vote
NETGAMES
2003
ACM
16 years 1 days ago
2003
ACM
: This paper outlines the basic spatial principles of level design in multi-player first-person shooters with special reference to Counterstrike, basing itself on experiment, analy...