108 search results - page 22 / 22 » Formal Modeling and Analysis of the HLA Component Integratio... |
DAGSTUHL
2006
13 years 7 months ago
2006
Abstract. "Cognitive computer vision is concerned with integration and control of vision systems using explicit but not necessarily symbolic models of context, situation and g...
XMLSEC
2003
ACM
13 years 11 months ago
2003
ACM
Business Processes for Web Services are the new paradigm for the lightweight integration of business from different enterprises. Whereas the security and access control policies ...
MBEES
2008
13 years 7 months ago
2008
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...