4350 search results - page 753 / 870 » Case studies for contract-based systems |
BIBE
2004
IEEE
14 years 18 days ago
2004
IEEE
Large-scale biomedical data sets of macromolecular structures such as DNA and proteins describe highly complex biomolecular entities which often consist of thousands of atoms and ...
APN
2006
Springer
14 years 18 days ago
2006
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, given...
CCGRID
2004
IEEE
14 years 18 days ago
2004
IEEE
The Grid approach provides the ability to access and use distributed resources as part of virtual organizations. The emerging Grid infrastructure gives rise to a class of scientif...
ARCS
2006
Springer
14 years 18 days ago
2006
Springer
Abstract. We present a GUI-based C++ toolbox that allows for building distributed, multi-modal context recognition systems by plugging together reusable, parameterizable components...
ATVA
2006
Springer
14 years 18 days ago
2006
Springer
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...