307 search results - page 26 / 62 » Causality and the Semantics of Provenance |
81
Voted
ASM
2005
ASM
15 years 6 months ago
2005
ASM
AsmL is a novel executable specification language based on the theory of State Machines (ASMs). It represents one of the most powerful practical engines to write and execute ASMs...
80
Voted
ISI
2004
Springer
15 years 5 months ago
2004
Springer
Malicious insiders’ difficult-to-detect activities pose serious threats to the intelligence community (IC) when these activities go undetected. A novel approach that integrates ...
114
click to vote
ESWS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. For document-centric work, meta-information in form of annotations has proven useful to enhance search and other retrieval tasks. The Mymory project1 uses a web-based wor...
87
Voted
LICS
2005
IEEE
15 years 6 months ago
2005
IEEE
The theme of this paper is profunctors, and their centrality and ubiquity in understanding concurrent computation. Profunctors (a.k.a. distributors, or bimodules) are a generalisa...
112
Voted
APN
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Time Petri nets have proved their interest in modeling realtime concurrent systems. Their usual semantics is defined in term of firing sequences, which can be coded in a ...