289 search results - page 42 / 58 » Algebraic results for structured operational semantics |
159
click to vote
SIROCCO
2003
15 years 7 months ago
2003
In this work, we embark on a study of the possibility (or impossibility), and the corresponding costs, of devising concurrent, low-contention implementations of atomic Read-Modify...
187
click to vote
CORR
2006
Springer
15 years 5 months ago
2006
Springer
: This document gives an algebraic and two polygraphic translations of Petri nets, all three providing an easier way to describe reductions and to identify some of them. The first ...
184
click to vote
AMKM
2003
Springer
15 years 11 months ago
2003
Springer
This paper presents an agent-based approach to semantic exploration and knowledge discovery in large information spaces by means of capturing, visualizing and making usable implic...
244
click to vote
VLDB
2003
ACM
16 years 6 months ago
2003
ACM
Data warehousing systems integrate information from operational data sources into a central repository to enable analysis and mining of the integrated information. During the integ...
196
click to vote
CP
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. In the last decades, the Satisfiability and Constraint Satisfaction Problem frameworks were extended to integrate aspects such as uncertainties, partial observabilities, ...