Sciweavers

5184 search results - page 668 / 1037
» Computer support for mechatronic control system design
Sort
View
ATAL
2008
Springer
15 years 9 months ago
Autonomous geocaching: navigation and goal finding in outdoor domains
This paper describes an autonomous robot system designed to solve the challenging task of geocaching. Geocaching involves locating a goal object in an outdoor environment given on...
James Neufeld, Michael Sokolsky, Jason Roberts, Ad...
DIMACS
1996
15 years 9 months ago
Model Checking and the Mu-calculus
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...
E. Allen Emerson
NETGAMES
2006
ACM
16 years 1 months ago
Towards public server MMOs
While massively multiplayer on-line games (MMOs) are enormously popular, their use of the client-server architecture causes them to suffer from scalability issues and high mainte...
Chris Chambers, Wu-chang Feng, Wu-chi Feng
RTCSA
2005
IEEE
16 years 1 months ago
Research Issues in the Development of Context-Aware Middleware Architectures
Context-aware middleware encompasses uniform ions and reliable services for common operations, supports for most of the tasks involved in dealing with context, and thus simplifyin...
Hung Quoc Ngo, Anjum Shehzad, Kim Anh Pham Ngoc, S...
HICSS
2002
IEEE
150views Biometrics» more  HICSS 2002»
16 years 16 days ago
AUI: A Programming Language for Developing Plastic Interactive Software
With the proliferation of consumer computing devices with varied display and input characteristics, it has become desirable to develop interactive systems that are usable across m...
Kevin A. Schneider, James R. Cordy