624 search results - page 123 / 125 » A Structured Approach for Synthesizing Planners from Specifi... |
INFOCOM
2005
IEEE
13 years 12 months ago
2005
IEEE
Data dissemination in sensor networks requires four components: resource discovery, route establishment, packet forwarding, and route maintenance. Resource discovery can be the mos...
DIGRA
2005
Springer
13 years 12 months ago
2005
Springer
Like many massively-multiplayer role-playing games, Final Fantasy XI is a persistent world with a heroic fantasy setting. This paper discusses fictive player identities, and descr...
SMA
1993
ACM
13 years 10 months ago
1993
ACM
Form features present a rather attractive building block in computer-aided design environments for a variety of applications, providing the embodiment of engineering semantics in ...
AMOST
2007
ACM
13 years 10 months ago
2007
ACM
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...
ECOWS
2007
Springer
13 years 10 months ago
2007
Springer
Web services are self-contained, modular units of application logic which provide business functionality to other applications via Internet connections. Several models have been u...