12981 search results - page 2046 / 2597 » Model Checking (Abstract) |
163
click to vote
NLDB
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. The increasing flow of digital information requires the extraction, filtering and classification of pertinent information from large volumes of texts. An important pre...
169
click to vote
OTM
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. Web services have become the predominant paradigm for the development of distributed software systems. Web services provide the means to modularize software in a way that...
167
click to vote
OTM
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. In a service-oriented world, a long-running business process can be implemented as a set of stateful services that represent the individual but coordinated steps that mak...
172
click to vote
PKDD
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. A system of nested dichotomies is a hierarchical decomposition of a multi-class problem with c classes into c − 1 two-class problems and can be represented as a tree st...
191
click to vote
POLICY
2005
Springer
16 years 29 days ago
2005
Springer
Modern dynamic distributed information systems need access control policies to address controlling access to multiple resources that are distributed. The s may be considered as a ...