4690 search results - page 538 / 938 » An operational semantics for Scheme |
205
click to vote
ECTEL
2007
Springer
16 years 1 months ago
2007
Springer
Web2.0 is a conceptual framework that aims at enhancing the World Wide Web with semantic and social functionnalities. For this framework to fully develop, there is a need for concr...
195
click to vote
ICDT
2007
ACM
16 years 1 months 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...
196
click to vote
LFCS
2007
Springer
16 years 1 months 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...
200
Voted
OTM
2007
Springer
16 years 1 months 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...
160
Voted
TGC
2007
Springer
16 years 1 months 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 ...