1547 search results - page 235 / 310 » The Isabelle Collections Framework |
120
Voted
ICFCA
2007
Springer
15 years 4 months ago
2007
Springer
Recent advances in data and knowledge engineering have emphasized the need for formal concept analysis (FCA) tools taking into account structured data. There are a few adaptations ...
113
Voted
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
In cooperative peer-to-peer information retrieval systems, each node can be considered an intelligent agent and these agents work collectively to provide an information retrieval ...
134
click to vote
COOPIS
2004
IEEE
15 years 4 months ago
2004
IEEE
By QoS (Quality of Service), we often refer to a set of quality requirements on the collective behavior of one or more objects. These requirements enable the provision of better se...
112
Voted
BPM
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. In this paper we examine the suitability of the Business Process Modelling Notation (BPMN) for business process modelling, using the Workflow Patterns as an evaluation fr...
98
Voted
ECTEL
2006
Springer
15 years 4 months ago
2006
Springer
The experience described in this paper is being developed in the framework of the PALETTE1 project by two teams of researchers involved in collecting information from some Communi...