3045 search results - page 588 / 609 » Formal Approaches to Software Architecture |
154
click to vote
WWW
2005
ACM
16 years 6 months ago
2005
ACM
We present an approach in which the semantics of an XML language is defined by means of a transformation from an XML document model (an XML schema) to an application specific mode...
180
click to vote
SIGMOD
2001
ACM
16 years 6 months ago
2001
ACM
Digital archives are dedicated to the long-term preservation of electronic information and have the mandate to enable sustained access despite rapid technology changes. Persistent...
123
click to vote
ICSOC
2009
Springer
16 years 16 days ago
2009
Springer
In this demonstration1 we present an approach to engineering service brokering requirements and capabilities using the concepts of Service Modes. The demonstration illustrates buil...
181
click to vote
SAC
2006
ACM
15 years 5 months ago
2006
ACM
Fast and accurate fault detection is becoming an essential component of management software for mission critical systems. A good fault detector makes possible to initiate repair a...
179
click to vote
TPDS
2008
15 years 5 months ago
2008
This paper presents the Mitosis framework, which is a combined hardware-software approach to speculative multithreading, even in the presence of frequent dependences among threads....