Sciweavers

1141 search results - page 151 / 229
» A Generative Style-driven Framework for Software Architectur...
Sort
View
121
Voted
WWW
2010
ACM
15 years 7 months ago
Automated performance assessment for service-oriented middleware: a case study on BPEL engines
Middleware for Web service compositions, such as BPEL engines, provides the execution environment for services as well as additional functionalities, such as monitoring and self-t...
Domenico Bianculli, Walter Binder, Mauro Luigi Dra...
111
Voted
ICCAD
1998
IEEE
120views Hardware» more  ICCAD 1998»
15 years 4 months ago
Communication synthesis for distributed embedded systems
Designers of distributed embedded systems face many challenges in determining the appropriate tradeoffs to make when defining a system architecture or retargeting an existing desi...
Ross B. Ortega, Gaetano Borriello
153
Voted
DOLAP
2005
ACM
15 years 2 months ago
Applying MDA to the development of data warehouses
Different modeling approaches have been proposed to overcome every design pitfall of the development of the different parts of a data warehouse (DW) system. However, they are all ...
Jose-Norberto Mazón, Juan Trujillo, Manuel ...
ICFEM
1997
Springer
15 years 4 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
DALT
2008
Springer
15 years 2 months ago
Leveraging New Plans in AgentSpeak(PL)
Abstract. In order to facilitate the development of agent-based software, several agent programming languages and architectures, have been created. Plans in these architectures are...
Felipe Rech Meneguzzi, Michael Luck