Sciweavers

3954 search results - page 252 / 791
» Image-based Model Completion
Sort
View
DATE
2005
IEEE
162views Hardware» more  DATE 2005»
16 years 5 days ago
A Model-Based Approach for Executable Specifications on Reconfigurable Hardware
UML 2.0 provides a rich set of diagrams for systems documentation and specification. Many efforts have been undertaken to employ different aspects of UML for multiple domains, mai...
Tim Schattkowsky, Wolfgang Müller 0003, Achim...
SMI
2005
IEEE
16 years 4 days ago
Maximizing Adaptivity in Hierarchical Topological Models
We present an approach to hierarchically encode the topology of functions over triangulated surfaces. We describe the topology of a function by its Morse-Smale complex, a well kno...
Peer-Timo Bremer, Valerio Pascucci, Bernd Hamann
ADBIS
2004
Springer
124views Database» more  ADBIS 2004»
15 years 12 months ago
Database Caching - Towards a Cost Model for Populating Cache Groups
Web caching keeps single Web objects ready somewhere in caches in the user-to-server path, whereas database caching uses fullfledged database management systems as caches to adapt...
Theo Härder, Andreas Bühmann
AOSE
2004
Springer
15 years 12 months ago
Evaluation of Agent-Oriented Software Methodologies - Examination of the Gap Between Modeling and Platform
More and more effort is made to provide methodologies for the development of agent–based systems. Awareness has grown that these are necessary to develop high quality agent syst...
Jan Sudeikat, Lars Braubach, Alexander Pokahr, Win...
UML
2004
Springer
15 years 12 months ago
SoftContract: Model-Based Design of Error-Checking Code and Property Monitors
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
Luciano Lavagno, Marco Di Natale, Alberto Ferrari,...