Sciweavers

1581 search results - page 31 / 317
» Domain semantics of possibility computations
Sort
View
ICCAD
2003
IEEE
134views Hardware» more  ICCAD 2003»
14 years 6 months ago
Multi-Domain Clock Skew Scheduling
The application of general clock skew scheduling is practically limited due to the difficulties in implementing a wide spectrum of dedicated clock delays in a reliable manner. Th...
Kaushik Ravindran, Andreas Kuehlmann, Ellen Sentov...
FAC
2010
140views more  FAC 2010»
13 years 7 months ago
From a domain analysis to the specification and detection of code and design smells
Code and design smells are recurring design problems in software systems that must be identified to avoid their possible negative consequences on development and maintenance. Conse...
Naouel Moha, Yann-Gaël Guéhéneu...
ASWC
2006
Springer
14 years 1 months ago
Modular Ontologies - A Formal Investigation of Semantics and Expressivity
With the growing interest in modular ontology languages to address the need for collaborative development, integration, and use of ontologies on the Web, there is an urgent need fo...
Jie Bao, Doina Caragea, Vasant Honavar
GI
2009
Springer
13 years 7 months ago
Automatic Population and Updating of a Semantic Wiki-based Configuration Management Database
Abstract: This paper describes our work on designing and implementing a component for automatically integrating and updating information about configuration items into a Semantic W...
Frank Kleiner, Andreas Abecker, Ning Liu
ICTAC
2004
Springer
14 years 3 months ago
Duration Calculus: A Real-Time Semantic for B
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one h...
Samuel Colin, Georges Mariano, Vincent Poirriez