Sciweavers

1816 search results - page 187 / 364
» ITS Domain Modelling with Ontology
Sort
View
DATE
2007
IEEE
112views Hardware» more  DATE 2007»
16 years 23 days ago
Tool-support for the analysis of hybrid systems and models
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
Andreas Bauer 0002, Markus Pister, Michael Tautsch...
EUROMICRO
2004
IEEE
15 years 10 months ago
SaveCCM - A Component Model for Safety-Critical Real-Time Systems
Component-based development has proven effective in many engineering domains, and several general component technologies are available. Most of these are focused on providing an e...
Hans Hansson, Mikael Åkerholm, Ivica Crnkovi...
ISCC
2008
IEEE
185views Communications» more  ISCC 2008»
16 years 25 days ago
Towards business model and technical platform for the service oriented context-aware mobile virtual communities
: Owing to the recent technical advances in the computing and mobile communications domain, the world of online virtual communities is experiencing a phenomenal growth and ever-inc...
Pravin Pawar, Julien Subercaze, Pierre Maret, Bert...
BIOSYSTEMS
2008
83views more  BIOSYSTEMS 2008»
15 years 6 months ago
Hydrophobic condensation and modular assembly model of protein folding
Despite several decades of intense study, protein folding problem remains elusive. In this paper, we review current knowledge and the prevailing thinking in the field, and summari...
Tian-Yow Tsong, Chin-Kun Hu, Ming-Chya Wu
PAA
2008
15 years 6 months ago
Prototype reduction using an artificial immune model
Artificial immune system (AIS)-based pattern classification approach is relatively new in the field of pattern recognition. The study explores the potentiality of this paradigm in ...
Utpal Garain