5228 search results - page 650 / 1046 » Case Studies for Software Engineers |
152
click to vote
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we study eight asynchronous communication primitives, arising from the combination of three features: arity (monadic vs polyadic data), communication medium (messag...
165
click to vote
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
Metric Temporal Logic (MTL) is a real-time extension of Linear Temporal Logic that was proposed fifteen years ago and has since been extensively studied. Since the early 1990s, it ...
169
click to vote
FSTTCS
2006
Springer
15 years 10 months ago
2006
Springer
Structured Operational Semantics (SOS) is a popular method for defining semantics by means of deduction rules. An important feature of deduction rules, or simply SOS rules, are neg...
177
click to vote
FOSSACS
2000
Springer
15 years 10 months ago
2000
Springer
We relate several models of concurrency introduced in the literature in order to extend classical Mazurkiewicz traces. These are mainly Droste's concurrent automata and Arnold...
226
click to vote
SOFT
2000
15 years 10 months ago
2000
In meeting the challenges that resulted from the explosion of collected, stored, and transferred data, Knowledge Discovery in Databases or Data Mining has emerged as a new research...