2850 search results - page 404 / 570 » On Timed Models and Full Abstraction |
199
click to vote
OTM
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. The creation of distributed applications requires sophisticated compositions, as various components — supporting application logic or non-functional requirements — mu...
190
click to vote
PREMI
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Robust tracking of objects in video is a key challenge in computer vision with applications in automated surveillance, video indexing, human-computer-interaction, gesture...
189
click to vote
CICLING
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. The purpose of information extraction (IE) is to find desired pieces of information in natural language texts and store them in a form that is suitable for automatic pro...
179
click to vote
ISMIS
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We present an overview of anomaly detection used in computer security, and provide a detailed example of a host-based Intrusion Detection System that monitors file syste...
208
click to vote
WOSP
2004
ACM
2004
ACM
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering
16 years 5 hour ago
Over the last decade, the relevance of performance evaluation in the early stages of the software development life-cycle has been steadily rising. We honestly believe that the int...