1588 search results - page 255 / 318 » Modular action language |
128
Voted
ICALP
2009
Springer
16 years 2 months ago
2009
Springer
A variant of Rate Transition Systems (RTS), proposed by Klin and Sassone, is introduced and used as the basic model for defining stochastic behaviour of processes. The transition r...
210
Voted
SIGMOD
2009
ACM
16 years 2 months ago
2009
ACM
Fundamental to data cleaning is the need to account for multiple data representations. We propose a formal framework that can be used to reason about and manipulate data represent...
111
click to vote
KESAMSTA
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Imitative learning can be considered an essential task of humans development. People use instructions and demonstrations provided by other human experts to acquire knowle...
129
click to vote
UBIMOB
2009
ACM
15 years 9 months ago
2009
ACM
Pervasive systems give an overview of what digital environments should look like in the future. SoCQ takes a data-oriented perspective on the pervasive environment through a uniï¬...
126
Voted
RWEB
2007
Springer
15 years 8 months ago
2007
Springer
Reactive rules are used for programming rule-based, reactive systems, which have the ability to detect events and respond to them automatically in a timely manner. Such systems are...