1318 search results - page 39 / 264 » The formal semantics of the timeER model |
190
click to vote
VLDB
2001
ACM
16 years 2 months ago
2001
ACM
In this paper, we present an approach to global transactionmanagementinworkflowenvironments.Thetransaction mechanism is based on the well-known notion of compensation, but extended...
126
click to vote
ATVA
2006
Springer
15 years 5 months ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
109
click to vote
IFIP
2004
Springer
15 years 7 months ago
2004
Springer
Current firewall configuration languages have no well founded semantics. Each firewall implements its own algorithm that parses specific proprietary languages. The main conseq...
115
Voted
ICCS
2000
Springer
15 years 5 months ago
2000
Springer
With the aim of building a "Semantic Web", the content of the documents must be explicitly represented through metadata in order to enable contents-guided search. Our app...
97
Voted
CORR
1998
Springer
15 years 1 months ago
1998
Springer
Syntactic models should be descriptively adequate and parsable. A syntactic description is autonomous in the sense that it has certain explicitformal properties. Such a descriptio...