Sciweavers

9989 search results - page 65 / 1998
» A CLP Approach to Modelling Systems
Sort
View
ADAEUROPE
2007
Springer
15 years 10 months ago
Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...
Matteo Bordin, Tullio Vardanega
LOCA
2005
Springer
15 years 9 months ago
Issues and Requirements for Bayesian Approaches in Context Aware Systems
Research in advanced context-aware systems has clearly shown a need to capture the inherent uncertainty in the physical world, especially in human behavior. Modelling approaches th...
Michael Angermann, Patrick Robertson, Thomas Stran...
134
Voted
EFDBS
2003
15 years 5 months ago
Building platforms for information system interoperability - using a UML-based metamodeling approach
Abstract. Models have been playing a major role in information system engineering and interoperability: in this paper, we put an emphasis on the complementary role of metamodels. M...
Marie-Noëlle Terrasse, Marinette Savonnet, Er...
ASPDAC
2005
ACM
130views Hardware» more  ASPDAC 2005»
15 years 5 months ago
Stability analysis of active clock deskewing systems using a control theoretic approach
— In this paper, a methodology for analyzing closed loop clock distribution and active deskewing networks is proposed. An active clock distribution and deskewing network is model...
Vinil Varghese, Tom Chen, Peter Young
ISSS
2002
IEEE
144views Hardware» more  ISSS 2002»
15 years 8 months ago
A Visual Approach to Validating System Level Designs
This paper proposes a simulation-based methodology for validation of a system under design in an early phase of development. The key element of this approach is the visual speciï¬...
Jürgen Ruf, Thomas Kropf, Jochen Klose