1458 search results - page 145 / 292 » System Model-Based Definition of Modeling Language Semantics |
CORR
2008
Springer
14 years 10 months ago
2008
Springer
Needs of multimedia systems evolved due to the evolution of their architecture which is now distributed into heterogeneous contexts. A critical issue lies in the fact that they ha...
107
click to vote
FLOPS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Assertion-based contracts provide a powerful mechanism for stating invariants at module boundaries and for enforcing them uniformly. In 2002, Findler and Felleisen showed...
CICLING
2010
Springer
14 years 10 months ago
2010
Springer
Named Entity Recognition and Classification is being studied for last two decades. Since semantic features take huge amount of training time and are slow in inference, the existing...
FM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
FMOODS
2000
14 years 11 months ago
2000
This paper presents a logic, called BOTL (Object-Based Temporal Logic), that facilitates the specification of dynamic and static properties of object-based systems. The logic is ba...