310 search results - page 25 / 62 » Symbolic Model Based Testing for Component Oriented Systems |
EUROMICRO
2000
IEEE
14 years 1 days ago
2000
IEEE
The Automated Production Systems (APS) are composed of concurrent interacting entities. Then any model should exhibit parallel and sequential behaviours. The Grafcet is now well e...
EUROMICRO
2003
IEEE
14 years 27 days ago
2003
IEEE
The idea of component based software systems has a long tradition in the field of software engineering. Component markets have been an integral part of this idea. However, such ma...
FGR
2002
IEEE
14 years 17 days ago
2002
IEEE
This paper presents algorithms and a prototype system for hand tracking and hand posture recognition. Hand postures are represented in terms of hierarchies of multi-scale colour i...
IEEECIT
2010
IEEE
13 years 6 months ago
2010
IEEE
—The Service-Oriented Architecture (SOA) leverages ice abstraction to enable the development of modular, loose-coupled and distributed applications. In order to use such an archi...
DAGSTUHL
2003
13 years 9 months ago
2003
Abstract. In this paper, we show how the concepts of objects, components, features and agents are used today in the Agent Building Center (ABC) environment in order to marry the mo...