Sciweavers

2940 search results - page 334 / 588
» Behavioral Constraints for Services
Sort
View
CDC
2009
IEEE
162views Control Systems» more  CDC 2009»
15 years 9 months ago
Control of a two stage turbocharger on a Diesel engine
— Two stage turbochargers have been developed recently for Diesel engines in order to improve their performances in terms of power, consumption, emissions and dynamic behavior (s...
Philippe Moulin, Olivier Grondin, Laurent Fontviei...
CONCUR
2005
Springer
15 years 8 months ago
The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation
Abstract. Delaying the synchronization of actions may reveal some hidden behavior that would not happen if the synchronization met the specified deadlines. This precise phenomenon...
Pedro R. D'Argenio, Biniam Gebremichael
DAIS
2007
15 years 7 months ago
Situation Specification and Realization in Rule-Based Context-Aware Applications
Context-aware applications use and manipulate context information to detect high-level situations, which are used to adapt application behavior. This paper discusses the specificat...
Patricia Dockhorn Costa, João Paulo A. Alme...
DLT
2008
15 years 7 months ago
Emptiness of Multi-pushdown Automata Is 2ETIME-Complete
We consider multi-pushdown automata, a multi-stack extension of pushdown automata that comes with a constraint on stack operations: a pop can only be performed on the first non-emp...
Mohamed Faouzi Atig, Benedikt Bollig, Peter Haberm...
ISIM
2007
15 years 7 months ago
Verification of Good Design Style of UML Models
Software architecture, and its behavior can be expressed as UML models. Models of complex systems can be also complex and hard to read – they may consists of hundreds of artifact...
Bogumila Hnatkowska