Sciweavers

1528 search results - page 209 / 306
» Object-Oriented Software Composition
Sort
View
FIDJI
2003
Springer
14 years 2 months 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...
BMCBI
2010
92views more  BMCBI 2010»
13 years 9 months ago
YODA: Software to facilitate high-throughput analysis of chronological life span, growth rate, and survival in budding yeast
Background: The budding yeast Saccharomyces cerevisiae is one of the most widely studied model organisms in aging-related science. Although several genetic modifiers of yeast long...
Brady Olsen, Christopher J. Murakami, Matt Kaeberl...
COORDINATION
1997
Springer
14 years 1 months ago
Coordination Patterns for Parallel Computing
The aim of this paper is to promote the idea of developing reusable coordination patterns for parallel computing, i.e. customizable components from which parallel applications can ...
Bernd Freisleben, Thilo Kielmann
SIGSOFT
2008
ACM
14 years 10 months ago
Modular verification of web services using efficient symbolic encoding and summarization
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
Fang Yu, Chao Wang, Aarti Gupta, Tevfik Bultan
ICSE
2008
IEEE-ACM
14 years 9 months ago
Performance modeling for service oriented architectures
We present a tool for performance modeling of Service Oriented Architectures (SOAs). As mission-critical use of whole-ofgovernment SOAs become pervasive, the capability to model a...
Paul Brebner