1057 search results - page 123 / 212 » Testing from Formal Specifications, a Generic Approach |
SAS
1992
Springer
14 years 1 months ago
1992
Springer
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
COMSWARE
2006
IEEE
14 years 3 months ago
2006
IEEE
—Recent protocols are become increasingly complex, and lead to further level of complexity when used in combination, often resulting in ambiguous behavior. This paper, starting f...
SAC
2008
ACM
13 years 8 months ago
2008
ACM
When developing semantic applications, the construction of ontologies is a crucial part. We are developing a semiautomatic ontology construction approach, OntoCase, relying on ont...
VLSID
2010
IEEE
14 years 26 days ago
2010
IEEE
Network-on-Chip combined with Globally Asynchronous Locally Synchronous paradigm is a promising architecture for easy IP integration and utilization with multiple voltage levels. ...
APSEC
2000
IEEE
14 years 1 months ago
2000
IEEE
Current object-oriented formalisms, such as UML, focus on describing class models and use instance models only for depicting scenarios. Little attention is being devoted to defini...