Sciweavers

3667 search results - page 371 / 734
» Pattern-Oriented Distributed System Architectures
Sort
View
186
Voted
JNCA
2008
96views more  JNCA 2008»
15 years 6 months ago
Patterns of message interchange in decoupled hypermedia systems
Open hypermedia systems provide a decoupled approach to structural computing. This entails that the architecture of the systems are made up of user agents that communicate with di...
Sinuhé Arroyo, Miguel-Ángel Sicilia,...
DAC
2000
ACM
16 years 7 months ago
Dynamic power management of complex systems using generalized stochastic Petri nets
In this paper, we introduce a new technique for modeling and solving the dynamic power management (DPM) problem for systems with complex behavioral characteristics such as concurr...
Qinru Qiu, Qing Wu, Massoud Pedram
ISARCS
2010
188views Hardware» more  ISARCS 2010»
15 years 10 months ago
Component Behavior Synthesis for Critical Systems,
Abstract. Component-based architectures are widely used in embedded systems. For managing complexity and improving quality separation of concerns is one of the most important princ...
Tobias Eckardt, Stefan Henkler
BIRTHDAY
2006
Springer
15 years 10 months ago
Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification
We describe a gate level design of a FlexRay-like bus interface. An electronic control unit (ECU) is obtained by integrating this interface into the design of the verified VAMP pro...
Steffen Knapp, Wolfgang J. Paul
WSC
1997
15 years 8 months ago
SmartATMS: A Simulator for Air Traffic Management Systems
Air Traffic Management Systems (ATMS) of the future will feature Free Flight, in which aircraft choose their own routes, altitude, and speed, and automated conflict resolution me...
Tak-Kuen John Koo, Yi Ma, George J. Pappas, Claire...