Sciweavers

1922 search results - page 344 / 385
» Systems biology, models, and concurrency
Sort
View
JTRES
2009
ACM
15 years 10 months ago
A technology compatibility kit for safety critical Java
Safety Critical Java is a specification being built on top a subset of interfaces from the Real-Time Specification for Java. It is designed to ease development and analysis of s...
Lei Zhao, Daniel Tang, Jan Vitek
BPM
2004
Springer
95views Business» more  BPM 2004»
15 years 10 months ago
On Dealing with Structural Conflicts between Process Type and Instance Changes
Abstract. Adaptive process management systems must be able to support changes of single process instances as well as modifications at the process type level and their propagation t...
Stefanie Rinderle, Manfred Reichert, Peter Dadam
CODES
2008
IEEE
15 years 8 months ago
Software optimization for MPSoC: a mpeg-2 decoder case study
Using traditional software profiling to optimize embedded software in an MPSoC design is not reliable. With multiple processors running concurrently and programs interacting, trad...
Eric Cheung, Harry Hsieh, Felice Balarin
INFOSCALE
2007
ACM
15 years 7 months ago
BUST: enabling scalable service orchestration
Service-Orientation (SO) is a design and integration paradigm that is based on the notion of well defined, loosely coupled services. Within SO, services are viewed as computation...
Dong Liu, Ralph Deters
DAIS
2003
15 years 7 months ago
Jironde: A Flexible Framework for Making Components Transactional
Abstract. It is generally agreed that one of the key services of componentbased systems are transactions. However, an agreement on how components should be involved in transactions...
Marek Prochazka