931 search results - page 156 / 187 » Engineering interactive ubiquitous computing systems |
SEM
2004
Springer
14 years 3 months ago
2004
Springer
The emergence of portable computers and wireless technologies has introduced new challenges for middleware. Mobility brings new requirements and is becoming a key characteristic. M...
ICSE
2005
IEEE-ACM
14 years 10 months ago
2005
IEEE-ACM
With the advances of robotics, computer science, and other related areas, home service robots attract much attention from both academia and industry. Home service robots consists ...
CHI
2010
ACM
14 years 4 months ago
2010
ACM
Programming has recently become more common among ordinary end users of computer systems. We believe that these end-user programmers are not just coders but also designers, in tha...
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
This paper develops a model for exceptions and an approach for incorporating them in commitment protocols among autonomous agents. Modeling and handling exceptions is critical for...
DSVIS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...