Sciweavers

1503 search results - page 206 / 301
» Device Independence and the Web
Sort
View
FOSSACS
2006
Springer
14 years 18 days ago
Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario
Abstract. Web services are an important series of industry standards for adding semantics to web-based and XML-based communication, in particular among enterprises. Like the entire...
Michael Backes, Sebastian Mödersheim, Birgit ...
ATAL
2006
Springer
13 years 11 months ago
Autonomous agents for air-traffic deconfliction
This contribution presents a deployment exercise of multiagent technology in the domain of deconflicted air-traffic control among several autonomous aerial vehicles (manned as wel...
Michal Pechoucek, David Sislák, Dusan Pavl&...
ESWS
2008
Springer
13 years 10 months ago
Mapping Validation by Probabilistic Reasoning
In the semantic web environment, where several independent ontologies are used in order to describe knowledge and data, ontologies have to be aligned by defining mappings among the...
Silvana Castano, Alfio Ferrara, Davide Lorusso, To...
CSREAEEE
2006
112views Business» more  CSREAEEE 2006»
13 years 10 months ago
A Development Tool for E-learning Applications
Task information support on the Web is not always an easy and straightforward process. Much of the information is inaccurate, biased, out-of-date, or just not thorough enough. The...
Darina Dicheva, Christo Dichev, Mohammed Ketel
IADIS
2004
13 years 10 months ago
Mining Relaxed Graph Properties in Internet
Many real world datasets are represented in the form of graphs. The classical graph properties found in the data, like cliques or independent sets, can reveal new interesting info...
Wilhelmiina Hämäläinen, Hannu Toivo...