1454 search results - page 86 / 291 » Stateful traits and their formalization |
104
click to vote
IANDC
1998
15 years 9 days ago
1998
We set up a formal framework to describe transition system specifications in the style of Plotkin. This framework has the power to express many-sortedness, general binding mechan...
116
click to vote
AI
2011
Springer
14 years 7 months ago
2011
Springer
The property that the executability and the effects of an action are determined entirely by the current state or situation is known as the Markov property and is assumed in most f...
91
Voted
UC
2009
Springer
15 years 7 months ago
2009
Springer
Some physical aspects related to the limit operations of the Thomson lamp are discussed. Regardless of the formally unbounded and even infinite number of “steps” involved, the...
102
Voted
HICSS
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper describes how we manage the interaction between different heterogeneous web services through choreographies within IRS-III. IRS-III is a framework and platform for deve...
113
Voted
SAS
2005
Springer
15 years 6 months ago
2005
Springer
We show that the idea of predicates on heap objects can be cast in the framework of predicate abstraction. This leads to an alternative view on the underlying concepts of three-val...