3081 search results - page 272 / 617 » A Formal Ontology of Properties |
171
click to vote
MFCS
2007
Springer
16 years 23 days ago
2007
Springer
We investigate algorithmic properties of infinite transition graphs that are generated by rewriting systems over unranked trees. Two kinds of such rewriting systems are studied. ...
181
click to vote
SFM
2007
Springer
16 years 22 days ago
2007
Springer
Markovian behavioral equivalences are a means to relate and manipulate the formal descriptions of systems with an underlying CTMC semantics. There are three fundamental approaches ...
159
click to vote
ICTAC
2004
Springer
16 years 11 hour ago
2004
Springer
Abstract. We present a synchronous approach to real-time reactive programming in Lucid enriched with contexts as first class objects. The declarative intensional approach allows r...
127
click to vote
SAS
2004
Springer
15 years 12 months ago
2004
Springer
This paper addresses the verification of properties of imperative programs with recursive procedure calls, heap-allocated storage, and destructive updating of pointer-valued fiel...
170
click to vote
SBIA
2004
Springer
15 years 12 months ago
2004
Springer
We elaborate on the verification of properties of electronic institutions, a formalism to define and analyse protocols among agents with a view to achieving global and individual...