Sciweavers

2933 search results - page 490 / 587
» Agent-Grid Integration Language
Sort
View
WWW
2005
ACM
15 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
15 years 3 months ago
SEAGENT: a platform for developing semantic web based multi agent systems
In this paper, a new agent development platform, which includes built-in features for semantic web based multi agent system development, is introduced. All agents and services in ...
Oguz Dikenelli, Riza Cenk Erdur, Özgür G...
BIRTHDAY
2005
Springer
15 years 3 months ago
Formal Software Development in MAYA
Abstract. The formal development of industrial-size software is an errorprone and therefore an evolutionary process. Verifying formal specifications usually reveals hidden errors ...
Dieter Hutter, Serge Autexier
CP
2005
Springer
15 years 3 months ago
CP(Graph): Introducing a Graph Computation Domain in Constraint Programming
Abstract. In an increasing number of domains such as bioinformatics, combinatorial graph problems arise. We propose a novel way to solve these problems, mainly those that can be tr...
Grégoire Dooms, Yves Deville, Pierre Dupont
CP
2005
Springer
15 years 3 months ago
Using SAT in QBF
QBF is the problem of deciding the satisfiability of quantified boolean formulae in which variables can be either universally or existentially quantified. QBF generalizes SAT (S...
Horst Samulowitz, Fahiem Bacchus