4418 search results - page 66 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
135
click to vote
GRID
2006
Springer
15 years 4 months ago
2006
Springer
A language for semi-structured documents, XML has emerged as the core of the web services architecture, and is playing crucial roles in messaging systems, databases, and document p...
138
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract-- We present a computational framework for identifying a set of initial states from which all trajectories of a piecewise affine (PWA) system satisfy a Linear Temporal Log...
153
click to vote
WWW
2005
ACM
16 years 4 months ago
2005
ACM
A software design is often modeled as a collection of unified Modeling Language (UML) diagrams. There are different aspects of the software system that are covered by many differe...
146
click to vote
ICAC
2005
IEEE
15 years 9 months ago
2005
IEEE
When designing decentralised autonomic computing systems, a fundamental engineering issue is to assess systemwide behaviour. Such decentralised systems are characterised by the la...
138
click to vote
CSE
2009
IEEE
15 years 7 months ago
2009
IEEE
Fault tolerance is a constant concern in data centers where servers have to run with a minimal level of failures. Changes on the operating conditions or on server demands, and var...