ITRUST
2005
Springer
14 years 2 months ago
2005
Springer
ITRUST
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Logic languages establish a formal framework to solve authorization and delegation conflicts. However, we consider that a visual representation is necessary since graphs...
ISAS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model base...
ISAS
2005
Springer
14 years 2 months ago
2005
Springer
— The Session Initiation Protocol (SIP) has emerged as the preferred Internet telephony signaling protocol for communications networks. In this capacity, it becomes increasingly ...
ISAS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Designing and programming dependable distributed applications is very difficult. Databases provide features like transactions and replication that can help in the impleme...
ISAS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...
ISAS
2005
Springer
14 years 2 months ago
2005
Springer
INEX
2005
Springer
14 years 2 months ago
2005
Springer
INEX
2005
Springer
14 years 2 months ago
2005
Springer
Offering the possibility to query any XML retrieval system in natural language would be very helpful to a lot of users. In 2005, INEX proposed a framework to partipants that wante...
INEX
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper explores the possibility of using a modified Expectation-Maximization algorithm to estimate parameters for a simple hierarchical generative model for XML retr...