7526 search results - page 295 / 1506 » The Design and Implementation of the A2QM3 System |
186
Voted
JNCA
2008
15 years 6 months ago
2008
Open hypermedia systems provide a decoupled approach to structural computing. This entails that the architecture of the systems are made up of user agents that communicate with di...
181
click to vote
FASE
1999
Springer
15 years 11 months ago
1999
Springer
JTN is a formal graphic notation for Java-targeted design speci cations, that are speci cations of systems that will be implemented using Java. JTN is aimed to be a part of a more ...
198
click to vote
COMPSAC
1998
IEEE
15 years 11 months ago
1998
IEEE
Distributed real-time applications have presented the need to extend the Object Management Group's OMG Common Object Request Broker Architecture CORBA standard to support rea...
157
click to vote
FTRTFT
1998
Springer
15 years 11 months ago
1998
Springer
Predictability is crucial in critical applications and systems. Therefore, we examine sources of uncertainty for each of the four phases that span a project lifecycle, from initial...
163
click to vote
SP
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper describes a specification-based approach to detect exploitations of vulnerabdities in securitycritical programs. The approach utilizes security specifications that desc...