368 search results - page 12 / 74 » The Role of Verification in Interactive Systems Design |
CHI
2010
ACM
14 years 2 months ago
2010
ACM
Applications that provide location-based experiences are an increasingly viable design space given the proliferation of GPS-enabled mobile devices. However, these applications are...
CG
1999
Springer
13 years 7 months ago
1999
Springer
Business process re-engineering is becoming a main focus in today's efforts to overcome problems and deficits in the automotive and aerospace industries (e.g., integration in...
BELL
2000
13 years 7 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
IWEC
2004
13 years 8 months ago
2004
The central problem that this paper addresses is how to manage dynamic change within game environments in response to variable player requirements and ability. In particular, we di...
AMCS
2011
13 years 2 months ago
2011
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...