Sciweavers

3911 search results - page 449 / 783
» Using Operational Architecture to Model Embedded Software
Sort
View
RE
2009
Springer
16 years 2 months ago
[vem: xi: ] - A Methodology for Process Based Requirements Engineering
Service-oriented architectures (SOA) aim at the alignment of business and IT by having a clear business process-centric focus. In order to reach that goal, real-world business pro...
Philipp Liegl, Rainer Schuster, Marco Zapletal, Ch...
KBSE
1998
IEEE
15 years 11 months ago
Identifying Pre-Conditions with the Z/EVES Theorem Prover
Starting from a graphical data model (a subset of the OMT object model), a skeleton of formal specification can be generated and completed to express several constraints and provi...
Yves Ledru
IEEESCC
2010
IEEE
15 years 11 months ago
Towards Self-Aware Performance and Resource Management in Modern Service-Oriented Systems
Abstract—Modern service-oriented systems have increasingly complex loosely-coupled architectures that often exhibit poor performance and resource efficiency and have high operat...
Samuel Kounev, Fabian Brosig, Nikolaus Huber, Ralf...
IMC
2006
ACM
16 years 1 months ago
A structural approach to latency prediction
Several models have been recently proposed for predicting the latency of end to end Internet paths. These models treat the Internet as a black-box, ignoring its internal structure...
Harsha V. Madhyastha, Thomas E. Anderson, Arvind K...
ICDE
2011
IEEE
269views Database» more  ICDE 2011»
14 years 11 months ago
Hyracks: A flexible and extensible foundation for data-intensive computing
Abstract—Hyracks is a new partitioned-parallel software platform designed to run data-intensive computations on large shared-nothing clusters of computers. Hyracks allows users t...
Vinayak R. Borkar, Michael J. Carey, Raman Grover,...