3429 search results - page 317 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
113
click to vote
ENTCS
2007
15 years 4 months ago
2007
We introduce a class of coalgebraic models and a family of modal logics that support the speci cation of spatial properties of distributed applications. The evaluation of a formul...
123
click to vote
ICECCS
2008
IEEE
15 years 11 months ago
2008
IEEE
In recent trends, the Architecture Analysis and Design Language (AADL) has received increasing attention from safety-critical software development industries. Specific about the A...
154
click to vote
FLAIRS
2007
15 years 7 months ago
2007
The difficulty of domain knowledge acquisition is one of the most sensible challenges of intelligent tutoring systems. Relying on domain experts and building domain models from sc...
145
click to vote
FLAIRS
2006
15 years 6 months ago
2006
The inherent vagueness and ambiguity of non-monotonic reasoning makes it impossible to formulate detailed specifications to validate KBS performance by using traditional test-case...
140
click to vote
ENTCS
2008
15 years 4 months ago
2008
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes. It extends separation logic by an operator for sepa...