2276 search results - page 256 / 456 » Aspect-Oriented Requirements Engineering for Component-Based... |
131
click to vote
IUI
2005
ACM
15 years 10 months ago
2005
ACM
This paper describes SmartCanvas, an intelligent desk system that allows a user to perform freehand drawing on a desk or similar surface with gestures. Our system requires one cam...
143
click to vote
WOSP
2005
ACM
15 years 10 months ago
2005
ACM
Designers of distributed systems often rely on replicas for increased robustness, scalability, and performance. Replicated server architectures require some technique to select a ...
134
click to vote
FATES
2005
Springer
15 years 10 months ago
2005
Springer
The global testing problem studied in this paper is to seek a definite answer to whether a system of concurrent black-boxes has an observable behavior in a given finite (but cou...
156
click to vote
ISSTA
1998
ACM
15 years 8 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
137
click to vote
COMPSAC
2005
IEEE
15 years 6 months ago
2005
IEEE
Fault-tolerant mobile computing systems have different requirements and restrictions, not taken into account by conventional distributed systems. This paper presents a coordinate...