Sciweavers

430 search results - page 70 / 86
» The Architecture Description Language MoDeL
Sort
View
HYBRID
2001
Springer
14 years 2 months ago
Hybrid Modeling and Simulation of Biomolecular Networks
Abstract. In a biological cell, cellular functions and the genetic regulatory apparatus are implemented and controlled by a network of chemical reactions in which regulatory protei...
Rajeev Alur, Calin Belta, Franjo Ivancic
IJCNN
2000
IEEE
14 years 2 months ago
Simulation of a Digital Neuro-Chip for Spiking Neural Networks
: Conventional hardware platforms are far from reaching real-time simulation requirements of complex spiking neural networks (SNN). Therefore we designed an accelerator board with ...
Tim Schönauer, S. Atasoy, N. Mehrtash, Heinri...
GI
2009
Springer
13 years 7 months ago
Ontology Design for Information Integration in Disaster Management
: One of the most pressing issues in improving disaster management is that of information integration. With many organizations involved in the disaster, crossing regional or even n...
Grigori Babitski, Florian Probst, Jörg Hoffma...
CAISE
2008
Springer
13 years 11 months ago
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...
Radu Mateescu, Sylvain Rampacek
DLOG
2003
13 years 11 months ago
RDFS(FA): A DL-ised Sub-language of RDFS
Description Logics (DLs), as a field of research, form a formal foundation of first-order semantic Web ontology languages, such as DAML+OIL and OWL. The Semantic Web will build ...
Jeff Z. Pan, Ian Horrocks