267 search results - page 30 / 54 » LibGALS: a library for GALS systems design and modeling |
ENTCS
2007
14 years 10 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
103
click to vote
AGENTS
2000
Springer
15 years 2 months ago
2000
Springer
Before the powerful agent programming paradigm can be adopted in commercial or industrial settings, a complete environment, similar to that for other programming languages, must b...
ICRA
1998
IEEE
15 years 2 months ago
1998
IEEE
Vibrations can significantly enhance touch perception for virtual environment applications with minimal design complexity and cost. In order to create realistic vibrotactile feedb...
ICMCS
2006
IEEE
15 years 4 months ago
2006
IEEE
This paper describes a proposal of an extended event model using a media synchronization method for video hypermedia applications. In this extended event model, video and metadata...
BMCBI
2007
14 years 10 months ago
2007
Background: The need to build a tool to facilitate the quick creation and editing of models encoded in the Systems Biology Markup language (SBML) has been growing with the number ...