3457 search results - page 436 / 692 » A Symbol Is Not a Symbol |
177
Voted
NSDI
2007
15 years 9 months ago
2007
Debugging and profiling large-scale distributed applications is a daunting task. We present Friday, a system for debugging distributed applications that combines deterministic re...
183
Voted
WSC
2008
15 years 9 months ago
2008
This study focuses on the development of a conceptual simulation modeling tool that can be used to structure a domain specific simulation environment. The issues in Software Engin...
188
click to vote
ACMSE
2008
ACM
15 years 9 months ago
2008
ACM
In this paper, a new pattern-growth algorithm is presented to mine frequent sequential patterns using First-Occurrence Forests (FOF). This algorithm uses a simple list of pointers...
205
Voted
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
200
click to vote
APN
2006
Springer
15 years 8 months ago
2006
Springer
Petri net schemata are an intuitive and expressive approach to describe high-level Petri nets. A Petri net schema is a Petri net with edges and transitions inscribed by terms and B...