788 search results - page 63 / 158 » Design and use of a system-level specification and verificat... |
170
click to vote
COMPSEC
2008
15 years 6 months ago
2008
While general-purpose processor based systems are built to enforce memory protection to prevent the unintended sharing of data between processes, current systems built around reco...
162
click to vote
ICWE
2007
Springer
16 years 14 days ago
2007
Springer
: The goal of this work is to present the software WebRatio 5, which is a good representative of a new generation of CASE tools for model-driven design of Web applications. WebRati...
154
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
This paper describes a diagnosis technique for locating design errors in circuit implementations which do not match their functional specification. The method efficiently propagat...
168
click to vote
CIA
2000
Springer
15 years 10 months ago
2000
Springer
Effective development of nontrivial systems of collaborative information agents requires that an in-depth analysis is made resulting in (1) specification of requirements at differe...
168
click to vote
KBSE
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...