1746 search results - page 282 / 350 » A Constructive Semantics for ALC |
MEMOCODE
2003
IEEE
14 years 3 months ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
RSP
2003
IEEE
14 years 3 months ago
2003
IEEE
— Distributed applications require specific middleware support for semantics and run-time constraints for a wide range of hardware or software configurations. However, their fu...
SOFTVIS
2003
ACM
14 years 3 months ago
2003
ACM
Whenever multiple representations or models of a system exist, there is the possibility of defining how they relate. In model driven software development, it is essential that th...
ASP
2003
Springer
14 years 3 months ago
2003
Springer
Disjunctive Logic Programming (DLP) is an advanced formalism for Knowledge Representation and Reasoning (KRR). DLP is very expressive in a precise mathematical sense: it allows to ...
FMCO
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...