4636 search results - page 382 / 928 » Modelling and Validation with VipTool |
151
click to vote
RSP
2003
IEEE
15 years 10 months ago
2003
IEEE
With advances in semiconductor technology, processors are becoming larger and more complex. Future processor designers will face an enormous design space, and must evaluate more a...
122
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
A transactional workflow is composed of traditional flat transactions, and its execution has relaxed transactional atomicity. Due to different termination characteristics of trans...
115
click to vote
HT
1999
ACM
15 years 9 months ago
1999
ACM
If we are to improve our ability to reliably and consistently create high quality hypermedia applications then we need to improve our understanding of the development process and ...
166
click to vote
ESEM
2007
ACM
15 years 8 months ago
2007
ACM
This paper focuses on in-process measurements during requirements definition where measurements of processes and products are relatively difficult. However, development processes ...
148
click to vote
ESORICS
2006
Springer
15 years 8 months ago
2006
Springer
The immaturity of current intrusion detection techniques limits the traditional security systems in surviving malicious attacks. Intrusion tolerance approaches have emerged to over...