3256 search results - page 426 / 652 » Applications of Formal Methods to System Design and Verifica... |
160
Voted
ENTCS
2006
15 years 5 months ago
2006
Organizational models have been recently used in agent theory for modeling coordination in open systems and to ensure social order in multi-agent system applications. In this pape...
140
Voted
EUC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this article we elaborate on portability in componentbased operating systems, focusing in the hardware mediator construct proposed by Frhlich in the Application-Orient...
169
click to vote
CAISE
2003
Springer
15 years 10 months ago
2003
Springer
This paper describes the design and implementation of an embedded-type XML storage and retrieval system which is built on top of relational databases. The proposed system stores ea...
164
click to vote
COR
2008
15 years 4 months ago
2008
Quantitative performance modeling of complex information systems is of immense importance for designing enterprise e-business infrastructures and applications. In this paper, we p...
158
click to vote
PLDI
2010
ACM
16 years 2 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...