Sciweavers

1713 search results - page 128 / 343
» Modeling and Engineering Adaptive Complex Systems
Sort
View
109
Voted
EUROSYS
2009
ACM
15 years 9 months ago
Automated control of multiple virtualized resources
: Virtualized data centers enable consolidation of multiple applications and sharing of multiple resources among these applications. However, current virtualization technologies ar...
Pradeep Padala, Kai-Yuan Hou, Kang G. Shin, Xiaoyu...
CLEIEJ
2006
192views more  CLEIEJ 2006»
15 years 12 days ago
Applying Software Metrics to evaluate Business Process Models
In this paper, we define a set of metrics for the evaluation of conceptual models of business processes. The proposal supposes the adaptation and extension of the FMESP framework ...
Elvira Rolón Aguilar, Francisco Ruiz, F&eac...
90
Voted
PODC
2009
ACM
16 years 27 days ago
Tight bounds for clock synchronization
d Abstract] Christoph Lenzen Computer Engineering and Networks Laboratory (TIK) ETH Zurich, 8092 Zurich, Switzerland lenzen@tik.ee.ethz.ch Thomas Locher Computer Engineering and N...
Christoph Lenzen, Thomas Locher, Roger Wattenhofer
AAAI
1994
15 years 1 months ago
Testing Physical Systems
We present a formal theory of model-based testing, an algorithm for test generation based on it, and outline how testing is implemented by a diagnostic engine. The key to making t...
Peter Struss
99
Voted
IUI
2004
ACM
15 years 5 months ago
Identifying adaptation dimensions in digital talking books
We have developed an automatic DTB production platform [3], which is capable of flexibly generating different user interfaces for talking books. DTBs are built from digital copies ...
Carlos Duarte, Luís Carriço