2776 search results - page 266 / 556 » System-Level Abstraction Semantics |
179
click to vote
APLAS
2005
ACM
16 years 7 days ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
181
click to vote
IFIP
2004
Springer
16 years 1 days ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
187
click to vote
LMO
1996
15 years 8 months ago
1996
We seek to support the development of open, distributed applications from patible software abstractions. In order to rigorously specify these abstractions, we are elaborating a for...
183
click to vote
ECCV
1990
Springer
16 years 8 months ago
1990
Springer
Abstract We present a method for extracting geometric and relational structures from raw intensity data. On one hand, low-level image processing extracts isolated features. On the ...
204
click to vote
RP
2009
Springer
16 years 1 months ago
2009
Springer
We present an abstraction of the probabilistic semantics of Multiset Rewriting to formally express systems of reactions with uncertain kinetic rates. This allows biological systems...