143 search results - page 10 / 29 » A Formal Component Concept for the Specification of Industri... |
AGENTS
2001
Springer
14 years 28 days ago
2001
Springer
The CASA architecture describes a platform for the provisioning of services by agents by supporting three levels of agent design. At the base level is a framework to build an agen...
RSP
1998
IEEE
14 years 20 days ago
1998
IEEE
This paper presents an algorithm for the automatic mapping of problem specifications to existing architecture templates. The proposed methodology supports the combination of exist...
HYBRID
1998
Springer
14 years 19 days ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
HASE
1997
IEEE
14 years 19 days ago
1997
IEEE
The testtng and valadatzon of formal speczficatzons of hzgh-assurance real-tzme systems repiizres a n ertenszble szniulatzon enrwonment wzth support for users to generate events, ...
SAC
2009
ACM
14 years 1 months ago
2009
ACM
This paper presents a novel software engineering approach for developing a dynamic web interface that meets the quality criterion of “WYDIWYS” - What You Do Is What You See. T...