Sciweavers

977 search results - page 98 / 196
» DRIFT: A Framework for Ontology-based Design Support Systems
Sort
View
INFSOF
2006
158views more  INFSOF 2006»
13 years 9 months ago
DEVSpecL: DEVS specification language for modeling, simulation and analysis of discrete event systems
Discrete EVent Systems Specification (DEVS) formalism supports specification of discrete event models in a hierarchical modular manner. This paper proposes a DEVS modeling languag...
Ki Jung Hong, Tag Gon Kim
ICDE
2007
IEEE
173views Database» more  ICDE 2007»
13 years 11 months ago
A Hybrid Recommender System for Context-aware Recommendations of Mobile Applications
The goal of the work in this paper is towards the incorporation of context in recommender systems in the domain of mobile applications. The approach recommends mobile applications...
Wolfgang Wörndl, Christian Schüller, Rol...
PRDC
2007
IEEE
14 years 3 months ago
Model Based Development of Safety-Critical Systems Using Template Based Code Generation
Model-based development is state of the art in software engineering, due to its potential regarding automatic code synthesis. Nevertheless for embedded systems, where there exists...
Matthias Regensburger, Christian Buckl, Alois Knol...
CHI
2005
ACM
14 years 9 months ago
Awareness systems: known results, theory, concepts and future challenges
The Community Bar is a groupware tool supporting informal awareness and casual interaction for small communities of intimate collaborators. Its conceptual design is primarily base...
Panos Markopoulos, Boris E. R. de Ruyter, Wendy E....
STTT
1998
130views more  STTT 1998»
13 years 9 months ago
The Practitioner's Guide to Coloured Petri Nets
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...
Lars Michael Kristensen, Søren Christensen,...