4290 search results - page 692 / 858 » Formal Approaches to Teamwork |
160
click to vote
MODELS
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Since the seminal book by the Gang of Four, design patterns have proven an important tool in software development. Over time, more and more patterns have been discovered ...
172
click to vote
MTSR
2007
Springer
16 years 19 days ago
2007
Springer
In this paper we identify the requirements for creating formal descriptions of learning scenarios designed under the European Higher Education Area paradigm, using competences and ...
161
click to vote
PPDP
2007
Springer
16 years 19 days ago
2007
Springer
Non-confluent and non-terminating rewrite systems are interesting from the point of view of programming. In particular, existing functional logic languages use such kind of rewri...
161
click to vote
SEMWEB
2007
Springer
16 years 18 days ago
2007
Springer
The Hierarchical Task Network (HTN) planning method is conceived of as a useful method for Web service composition as well as classical task planning. However, there are no complet...
151
click to vote
SEMWEB
2007
Springer
16 years 18 days ago
2007
Springer
Abstract The most common matching applications, e.g., ontology matching, focus on the computation of the correspondences holding between the nodes of graph structures (e.g., concep...