Sciweavers

3809 search results - page 323 / 762
» Associative language descriptions
Sort
View
IWUC
2004
15 years 8 months ago
Mobile Agent System for Web Services Integration in Pervasive Networks
Web Services integration using languages such as BPEL is to be applied not only on the Internet but also in pervasive networks using wireless mobile devices. However, in such a net...
Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahar...
AAAI
1994
15 years 8 months ago
A Qualitative Physics Compiler
Predicting the behavior of physical systems is essential to both common sense and engineering tasks. It is made especially challenging by the lack of complete precise knowledge of...
Adam Farquhar
TOCL
2008
128views more  TOCL 2008»
15 years 6 months ago
A comprehensive combination framework
fragment enjoys suitable noetherianity conditions and admits an abstract version of a `KeislerShelah like' isomorphism theorem. We show that this general decidability transfer...
Silvio Ghilardi, Enrica Nicolini, Daniele Zucchell...
AIEDAM
1998
108views more  AIEDAM 1998»
15 years 6 months ago
Web-based configuration assistants
Configuration assistants are tools for guiding the final user in simple configuration tasks, such as product assembling and customisation or study plans generation. For their wide ...
Giuseppe Attardi, Antonio Cisternino, Maria Simi
RML
2002
82views Business» more  RML 2002»
15 years 6 months ago
A Nonmonotonic Rule System using Ontologies
The development of the Semantic Web proceeds in layers. Currently the most advanced layer that has reached maturity is the ontology layer, in the form of the DAML+OIL language whic...
Grigoris Antoniou