Sciweavers

326 search results - page 19 / 66
» Generation of visitor components that implement program tran...
Sort
View
CAISE
2005
Springer
14 years 1 months ago
Building Self-Managing Web Information Systems from Generic Components
Abstract. The increasing need for device independence and personalization forces organizations to automatically adapt their Web Information Systems (WISs) to individual users and t...
Geert-Jan Houben, Zoltán Fiala, Kees van de...
FIDJI
2003
Springer
14 years 23 days ago
Hard Real-Time Implementation of Embedded Software in JAVA
The popular slogan ”write once, run anywhere” effectively renders the expressive capabilities of the Java programming framework for developing, deploying, and reusing target-i...
Jean-Pierre Talpin, Abdoulaye Gamatié, Davi...
IFIP
2004
Springer
14 years 27 days ago
Developing re-usable interactive storytelling technologies
: Despite the growing interest in Interactive Storytelling (IS), there have been only a small number of implemented demonstrators and few have attempted at developing a re-usable I...
Marc Cavazza, Fred Charles, Steven J. Mead
FM
2006
Springer
146views Formal Methods» more  FM 2006»
13 years 11 months ago
Formal Modeling of Communication Protocols by Graph Transformation
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
Zarrin Langari, Richard J. Trefler
ISSRE
2000
IEEE
13 years 12 months ago
Building Trust into OO Components Using a Genetic Analogy
Despite the growing interest for component-based systems, few works tackle the question of the trust we can bring into a component. This paper presents a method and a tool for bui...
Benoit Baudry, Vu Le Hanh, Jean-Marc Jéz&ea...