1715 search results - page 277 / 343 » Domain-Specific Program Checking |
AOSD
2006
ACM
14 years 1 months ago
2006
ACM
In the web services environment software development can involve writing both object-oriented programs and XML transformations. This can be seen in the popular Web Services archit...
ASPLOS
2004
ACM
14 years 1 months ago
2004
ACM
Recent studies have suggested that the soft-error rate in microprocessor logic will become a reliability concern by 2010. This paper proposes an efficient error detection techniqu...
GI
2004
Springer
14 years 1 months ago
2004
Springer
Abstract: A key idea of architecture is the description of components and their connections. This information can be extended to define the horizontal and vertical distribution of...
ICSOC
2004
Springer
14 years 1 months ago
2004
Springer
Service-based approaches are widely used to integrate heterogenous systems. Web services allow for the definition of highly dynamic systems where components (services) can be dis...
SP
2003
IEEE
14 years 1 months ago
2003
IEEE
A challenging unsolved security problem is how to specify and enforce system-wide security policies; this problem is even more acute in distributed systems with mutual distrust. T...