Sciweavers

11 search results - page 1 / 3
» Declarative Specification of Z39.50 Wrappers Using Descripti...
Sort
View
ERCIMDL
1999
Springer
111views Education» more  ERCIMDL 1999»
13 years 9 months ago
Declarative Specification of Z39.50 Wrappers Using Description Logics
Yannis Velegrakis, Vassilis Christophides, Panos C...
JODL
2000
123views more  JODL 2000»
13 years 5 months ago
On Z39.50 wrapping and description logics
Z39.50 is a client/server protocol widely used in digital libraries and museums for searching and retrieving information spread over a number of heterogeneous sources. To overcome ...
Yannis Velegrakis, Vassilis Christophides, Panos C...
TSE
1998
129views more  TSE 1998»
13 years 5 months ago
Inferring Declarative Requirements Specifications from Operational Scenarios
—Scenarios are increasingly recognized as an effective means for eliciting, validating, and documenting software requirements. This paper concentrates on the use of scenarios for...
Axel van Lamsweerde, Laurent Willemet
PADL
2009
Springer
14 years 6 months ago
Declarative Programming of User Interfaces
This paper proposes a declarative description of user interfaces that s from low-level implementation details. In particular, the user interfaces specified in our framework are exe...
Christof Kluß, Michael Hanus
MKWI
2008
113views Business» more  MKWI 2008»
13 years 6 months ago
A Rule-based Middleware for Business Process Execution
Abstract. While past research in service oriented computing has focused on the fairly static functional description and the operators of services the dynamic and flexible compositi...
Adrian Paschke, Alexander Kozlenkov