Sciweavers

4738 search results - page 281 / 948
» Past, Present, and Future
Sort
View
GI
2007
Springer
16 years 24 days ago
CAMPUS NEWS - an Information Network for Pervasive Universities
Abstract: In this paper we describe a network for distributing personalized Information within a pervasive University. We discuss the system architecture of our Bluetoothbased Camp...
Ulrich Furbach, Markus Maron, Kevin Read
KI
2007
Springer
16 years 24 days ago
Early History and Perspectives of Automated Deduction
With this talk we want to pay tribute to the late Professor Gerd Veenker who deserves the historic credit of initiating the formation of the German AI community. We present a summa...
Wolfgang Bibel
MATES
2007
Springer
16 years 24 days ago
Using DESs for Temporal Diagnosis of Multi-agent Plan Execution
The most common reason for plan repair are the violation of a plan’s temporal constraints. Air Traffic Control is an example of an area in which violations of the plan’s tempo...
Femke de Jonge, Nico Roos, Huib Aldewereld
EDOC
2006
IEEE
16 years 21 days ago
Translating business contract into compliant business processes
This paper presents an approach for translating legalese expression of business contracts into candidate business activities and processes while ensuring their compliance with con...
Zoran Milosevic, Shazia Wasim Sadiq, Maria E. Orlo...
EUROMICRO
2005
IEEE
16 years 8 days ago
A Taxonomy of Software Component Models
CBSE currently lacks a universally accepted terminology. Existing component models adopt different component definitions and composition operators. We believe that for future res...
Kung-Kiu Lau, Zheng Wang