Sciweavers

3911 search results - page 449 / 783
» Using Operational Architecture to Model Embedded Software
Sort
View
RE
2009
Springer
16 years 1 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 10 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 10 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...
152
Voted
IMC
2006
ACM
16 years 23 days 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 10 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,...