2835 search results - page 264 / 567 » Common Semantics for Use Cases and Task Models |
142
click to vote
ERSHOV
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Model programs are high-level behavioral specifications typically representing Abstract State Machines or ASMs. Conformance checking of model programs is the problem of ...
150
click to vote
AUSFORENSICS
2004
15 years 6 months ago
2004
In cases involving computer related crime, event oriented evidence such as computer event logs, and telephone call records are coming under increased scrutiny. The amount of techn...
166
click to vote
CISIS
2009
IEEE
15 years 2 months ago
2009
IEEE
The capability to provide a platform for flexible business services in the Air Traffic Management (ATM) domain is both a major success factor for the ATM industry and a challenge ...
131
click to vote
FOCS
1997
IEEE
15 years 9 months ago
1997
IEEE
Abstract. We show how to associate e ectively computableobstructions to a waitfree distributed decision task (I;O; ) in the asynchronous shared-memory, readwrite model. The key new...
136
click to vote
ICCV
2005
IEEE
16 years 6 months ago
2005
IEEE
In most cases when information is to be extracted from an image, there are priors available on the state of the world and therefore on the detailed measurements which will be obta...