5451 search results - page 671 / 1091 » Typed Operational Semantics |
162
click to vote
ICDT
2007
ACM
16 years 27 days ago
2007
ACM
Abstract. Information concerning the origin of data (that is, its provenance) is important in many areas, especially scientific recordkeeping. Currently, provenance information mu...
168
click to vote
LFCS
2007
Springer
16 years 26 days ago
2007
Springer
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
170
click to vote
OTM
2007
Springer
16 years 26 days ago
2007
Springer
The information that is made available through the semantic web will be accessed through complex programs (web-services, sensors, etc.) that may interact in sophisticated ways. Com...
139
click to vote
TGC
2007
Springer
16 years 25 days ago
2007
Springer
Several models based on process calculi have addressed the definition of linguistic primitives for handling long running transactions and Service Level Agreement (SLA) in service ...
178
click to vote
CCGRID
2006
IEEE
16 years 24 days ago
2006
IEEE
We have architected and evaluated a new kind of data resource, one that is composed of a logical collection of ephemeral data streams that could be viewed as a collection of publi...