Sciweavers

1002 search results - page 49 / 201
» Implementing Standard Reference Models for e-learning System...
Sort
View
JCC
2008
138views more  JCC 2008»
13 years 10 months ago
Circular dichroism enhancement in large DNA aggregates simulated by a generalized oscillator model
Abstract: An increased circular dichroism (CD) signal of large molecular aggregates formed upon DNA condensation was observed a long time ago, and is often referred to as w-CD. The...
Valery Andrushchenko, Petr Bour
VRML
1998
ACM
14 years 3 months ago
VSPLUS: A High-Level Multi-User Extension Library for Interactive VRML worlds
In this paper, we introduce the design and implementation of VSPLUS, a high-level multi-user extension library to enable people to simultaneously manipulate interactive VRML world...
Yoshiaki Araki
CEEMAS
2007
Springer
14 years 5 months ago
Models and Tools for Mulan Applications
Abstract In this work we describe the development process of multiagent application design and implementation with Mulan. Our approach can be characterized as model driven developm...
Lawrence Cabac, Till Dörges, Michael Duvignea...
TACAS
1998
Springer
105views Algorithms» more  TACAS 1998»
14 years 3 months ago
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
Jørn Lind-Nielsen, Henrik Reif Andersen, Ge...
TII
2011
206views Education» more  TII 2011»
13 years 5 months ago
Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques
Abstract—Software systems that do not meet their timing constraints can cause risks. In this work, we propose a comprehensive method for assessing the risk of timing failure by e...
Simona Bernardi, Javier Campos, José Merseg...