Sciweavers

3827 search results - page 640 / 766
» The Epsilon Generation Language
Sort
View
WWW
2005
ACM
14 years 3 months ago
An agent system for ontology sharing on WWW
Semantic Web Services (SWS), a new generation WWW technology, will facilitate the automation of Web service tasks, including automated Web service discovery, execution, compositio...
Kotaro Nakayama, Takahiro Hara, Shojiro Nishio
ATAL
2005
Springer
14 years 3 months ago
From concepts to agents: towards a framework for multi-agent system modelling
Whilst tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program code. AUML dev...
Richard Hill, Simon Polovina, Martin D. Beer
CAISE
2005
Springer
14 years 3 months ago
Building Self-Managing Web Information Systems from Generic Components
Abstract. The increasing need for device independence and personalization forces organizations to automatically adapt their Web Information Systems (WISs) to individual users and t...
Geert-Jan Houben, Zoltán Fiala, Kees van de...
CP
2005
Springer
14 years 3 months ago
Applying Constraint Programming to Rigid Body Protein Docking
In this paper we show how Constraint Programming (CP) techniques can improve the efficiency and applicability of grid-based algorithms for optimising surface contact between comple...
Ludwig Krippahl, Pedro Barahona
CSL
2005
Springer
14 years 3 months ago
Decidability of Type-Checking in the Calculus of Algebraic Constructions with Size Annotations
Since Val Tannen's pioneering work on the combination of simply-typed λ-calculus and rst-order rewriting [11], many authors have contributed to this subject by extending it ...
Frédéric Blanqui