243 search results - page 47 / 49 » Exception-Based Information Flow Control in Object-Oriented ... |
FORMATS
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
CAISE
2004
Springer
15 years 2 months ago
2004
Springer
Advanced Business Process Management (BPM) tools enable the decomposition of previously integrated and often ill-defined processes into reusable process modules. These process modu...
IEEEPACT
2000
IEEE
15 years 1 months ago
2000
IEEE
Dynamic Optimization is an umbrella term that refers to any optimization of software that is performed after the initial compile time. It is a complementary optimization opportuni...
LCN
1998
IEEE
15 years 1 months ago
1998
IEEE
Abstract-- The emergence of nomadic applications have recently generated much interest in wireless network infrastructures that support real-time communications. In this paper, we ...
COMPSAC
1997
IEEE
15 years 1 months ago
1997
IEEE
Building a system at the architectural level can be thought of as decomposition into components followed by a series of exercises in matching. Components must be composed with eac...