340 search results - page 59 / 68 » Validating Business Requirements Using MAS Analysis Models |
122
Voted
ISSTA
2009
ACM
15 years 7 months ago
2009
ACM
Dynamic analysis techniques have been extensively adopted to discover causes of observed failures. In particular, anomaly detection techniques can infer behavioral models from obs...
134
Voted
COOPIS
2002
IEEE
15 years 5 months ago
2002
IEEE
The design of virtual workplaces that can support virtual work processes has traditionally been either ad-hoc, or has been influenced by the top-down approaches, such as ‘virtua...
92
Voted
ASIACRYPT
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. AES is the most widely used block cipher today, and its security is one of the most important issues in cryptanalysis. After 13 years of analysis, related-key attacks wer...
104
click to vote
ICSE
2008
IEEE-ACM
16 years 15 days ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
123
click to vote
RE
2008
Springer
14 years 12 months ago
2008
Springer
Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been deve...