3172 search results - page 54 / 635 » Combining Specification Techniques for Processes, Data and T... |
303
click to vote
VLDB
2007
ACM
16 years 6 months ago
2007
ACM
Whenever an intrusion occurs, the security and value of a computer system is compromised. Network-based attacks make it difficult for legitimate users to access various network ser...
199
click to vote
ICCV
2007
IEEE
15 years 8 months ago
2007
IEEE
The analysis of facial expression temporal dynamics is of great importance for many real-world applications. Being able to automatically analyse facial muscle actions (Action Units...
136
click to vote
TSE
2008
15 years 6 months ago
2008
Buggy software is a reality and automated techniques for discovering bugs are highly desirable. A specification describes the correct behavior of a program. For example, a file mus...
199
click to vote
BPSC
2009
15 years 7 months ago
2009
Abstract: In this paper we present our ideas to apply constraint satisfaction on business processes. We propose a multi-level constraint satisfaction approach to handle t levels of...
157
click to vote
ESA
2006
Springer
15 years 9 months ago
2006
Springer
We study the problem of designing kinetic data structures (KDS's for short) when event times cannot be computed exactly and events may be processed in a wrong order. In tradi...