4809 search results - page 393 / 962 » Scalable Analysis of Scalable Systems |
276
click to vote
VLDB
2007
ACM
16 years 7 months ago
2007
ACM
Ontology, an explicit specification of shared conceptualization, has been increasingly used to define formal data semantics and improve data reusability and interoperability in en...
193
click to vote
COMPSAC
2009
IEEE
16 years 2 months ago
2009
IEEE
In this paper we present ESIDE, an integrated development environment for component-based embedded systems. It leverages component-based software engineering principles to facilit...
323
click to vote
ECOWS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract—In this paper, we address the problem of selfadaptation in internet-scale service-oriented systems. Services need to adapt by select the best neighboring services solely...
186
click to vote
FMCO
2007
Springer
16 years 1 months ago
2007
Springer
As Internet applications become larger and more complex, the task of managing them becomes overwhelming. “Abnormal” events such as software updates, failures, attacks, and hots...
195
click to vote
PDP
2005
IEEE
16 years 1 months ago
2005
IEEE
Boolean Equation Systems (BESs) allow to represent various problems encountered in the area of propositional logic programming and verification of concurrent systems. Several seq...