2493 search results - page 353 / 499 » Tool Support for Design by Contract |
COOPIS
2002
IEEE
15 years 3 months ago
2002
IEEE
Abstract. Filtered delivery model of message passing in an objectoriented distributed computing environment facilitates separation of message control from message processing in a t...
ICDCSW
2002
IEEE
15 years 3 months ago
2002
IEEE
Prolonged secure communication requires trust relationships that extend throughout a connection’s life cycle. Current tools to establish secure connections such as SSL/TLS and S...
ICRA
2002
IEEE
15 years 3 months ago
2002
IEEE
Dynamical systems theory is used here as a theoretical language and tool to design a distributed control archictecture that generates navigation in formation, integrated with obst...
RE
2001
Springer
15 years 2 months ago
2001
Springer
Many software projects have failed because their requirements were poorly negotiated among stakeholders. Requirements negotiation is more critical than other factors such as tools...
IPPS
1999
IEEE
15 years 2 months ago
1999
IEEE
This paper presents the Pure/Epos approach to deal with the high complexity of adaptable operating systems and also to diminish the distance between application and operating syste...