3429 search results - page 212 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
124
click to vote
CIE
2009
Springer
15 years 10 months ago
2009
Springer
J. Raymundo Marcial–Romero and M. H. Escard´o described onal programming language with an abstract data type Real for the real numbers and a non-deterministic operator rtest: Re...
151
click to vote
BTW
2007
Springer
15 years 10 months ago
2007
Springer
: Ontology and schema matching are well established techniques, which have been applied in various integration scenarios, e.g., web service composition and database integration. Co...
104
click to vote
IWFM
1998
15 years 5 months ago
1998
Vagueness is the phenomenon that natural language predicates have borderline regions of applicability and that the boundaries of the borderline region are not determinable. A theo...
168
click to vote
PLDI
2011
ACM
14 years 6 months ago
2011
ACM
Current proposals for concurrent shared-memory languages, including C++ and C, provide sequential consistency only for programs without data races (the DRF guarantee). While the i...
139
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
We present an epistemic logic incorporating dynamic operators to describe information changing events. Such events include epistemic changes, where agents become more informed abo...