6474 search results - page 526 / 1295 » Towards a Systemic Approach to Autonomic Systems Engineering |
174
click to vote
IUI
2005
ACM
16 years 20 days 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...
199
click to vote
SCAM
2003
IEEE
16 years 11 days ago
2003
IEEE
Program slice is a set of statements that affect the value of variable v in a statement s. In order to calculate a program slice, we must know the dependence relations between sta...
187
click to vote
ICSM
1999
IEEE
15 years 11 months ago
1999
IEEE
Many coupling measures have been proposed in the context of object-oriented (OO) systems. In addition, several studies have highlighted the complexity of using dependency analysis...
266
click to vote
ESEC
1999
Springer
15 years 11 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
206
click to vote
ICFEM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...