Sciweavers

1525 search results - page 186 / 305
» Integrated Systems for Inducing Spatio-Temporal Process Mode...
Sort
View
MODELS
2009
Springer
15 years 11 months ago
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
Philippe Dhaussy, Pierre Yves Pillain, Stephen Cre...
MODELS
2009
Springer
15 years 11 months ago
RobbyDBMS: a case study on hardware/software product line engineering
The development of a highly configurable data management system is a challenging task, especially if it is to be implemented on an embedded system that provides limited resources...
Jörg Liebig, Sven Apel, Christian Lengauer, T...
ICDE
2008
IEEE
153views Database» more  ICDE 2008»
16 years 5 months ago
Mining Views: Database Views for Data Mining
We present a system towards the integration of data mining into relational databases. To this end, a relational database model is proposed, based on the so called virtual mining vi...
Élisa Fromont, Adriana Prado, Bart Goethals...
GW
1999
Springer
194views Biometrics» more  GW 1999»
15 years 8 months ago
Communicative Rhythm in Gesture and Speech
Led by the fundamental role that rhythms apparently play in speech and gestural communication among humans, this study was undertaken to substantiate a biologically motivated model...
Ipke Wachsmuth
ESWS
2008
Springer
15 years 6 months ago
An Ontology for Software Models and Its Practical Implications for Semantic Web Reasoning
Ontology-Driven Software Development (ODSD) advocates using ontologies for capturing knowledge about a software system at development time. So far, ODSD approaches have mainly focu...
Matthias Bräuer, Henrik Lochmann