169 search results - page 21 / 34 » Exceptions in Component Interaction Protocols - Necessity |
ICAC
2005
IEEE
14 years 4 months ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...
DEON
2006
Springer
14 years 22 days ago
2006
Springer
Abstract. Logical architectures combine several logics into a more complex logical system. In this paper we study a logical architecture using input/output operations corresponding...
CORR
2010
Springer
13 years 11 months ago
2010
Springer
We propose a framework that provides a programming interface to perform complex dynamic system-level analyses of deployed production systems. By leveraging hardware support for vi...
ICSE
1994
IEEE-ACM
14 years 2 months ago
1994
IEEE-ACM
As software systems become more complex the overall system structure { or software architecture { becomes a central design problem. An important step towards an engineering discip...
IDMS
1998
Springer
14 years 3 months ago
1998
Springer
This paper discusses the application of TINA concepts, architectures and related design paradigms in the MESH project. MESH adopted TINA as a means to facilitate the design and imp...