122 search results - page 12 / 25 » A Formal Framework for Design Component Contracts |
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
— This paper presents a multi-vehicle platform and framework for robotics education and research. The system is designed as an educational tool for introducing children to engine...
ICOST
2007
Springer
14 years 1 months ago
2007
Springer
This paper formalizes three kinds of safety to be satisfied by networked appliances and services in the emerging home network system (HNS). The local safety is defined by safety ...
CAV
2005
Springer
14 years 1 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
CL
2008
Springer
13 years 7 months ago
2008
Springer
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
SIGADA
2004
Springer
14 years 1 months ago
2004
Springer
The purpose of this research paper is to illustrate the industrial and federal need for Information Systems Security Engineering (ISSE) in order to build Information Assurance (IA...