5203 search results - page 733 / 1041 » An approach to workflow modeling and analysis |
215
click to vote
SIGMOD
2001
ACM
16 years 6 months ago
2001
ACM
Intrusion detection is an essential component of computer security mechanisms. It requires accurate and efficient analysis of a large amount of system and network audit data. It c...
159
click to vote
QUACON
2009
Springer
16 years 1 months ago
2009
Springer
Within the Geospatial Semantic Web, selecting a different ontology for a spatial data set will enable that data’s analysis in a different context. Analyses of multiple data sets,...
165
click to vote
LADS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. This paper describes DCaseLP, a multi-language development environment for Multi-Agent Systems. DCaseLP provides tools and languages for modelling and implementing a MAS ...
169
click to vote
ISPW
2005
IEEE
16 years 10 days ago
2005
IEEE
Since different systems have different success-critical stakeholders, and these stakeholders depend on the system in different ways, using traditional one-size-fits-all dependabili...
178
click to vote
CAV
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, sof...