4418 search results - page 366 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
166
click to vote
CSCWD
2009
Springer
15 years 11 months ago
2009
Springer
Mobile cooperative systems can facilitate cooperation by improving the flexibility of usage. However, mobile devices present some constraints that become the design and implement...
212
click to vote
CVPR
2006
IEEE
16 years 25 days ago
2006
IEEE
This paper describes a general methodology for automated recognition of complex human activities. The methodology uses a context-free grammar (CFG) based representation scheme to ...
162
click to vote
CSMR
2000
IEEE
15 years 11 months ago
2000
IEEE
In practice, a pure top-down and refinement-based development process is not applicable. A more iterative and incremental approach is usually applied with respect to changing req...
200
click to vote
ENTCS
2006
15 years 6 months ago
2006
Using graph transformation as a formalism to specify model transformation, termination and confluence of the graph transformation system are often required properties. Only under ...
191
click to vote
ICPP
2006
IEEE
16 years 25 days ago
2006
IEEE
Publish/subscribe (pub/sub) systems are very suitable for the dissemination of dynamic information over the Internet. As dynamic information is usually characterized by a short li...