Sciweavers

5096 search results - page 324 / 1020
» Associations as a Language Construct
Sort
View
KI
2006
Springer
15 years 6 months ago
Agent Logics as Program Logics: Grounding KARO
Abstract. Several options are available to relate agent logics to computational agent systems. Among others, one can try to find useful executable fragments of an agent logic or us...
Koen V. Hindriks, John-Jules Ch. Meyer
CRYPTO
2003
Springer
109views Cryptology» more  CRYPTO 2003»
16 years 11 hour ago
Weak Key Authenticity and the Computational Completeness of Formal Encryption
Abstract. A significant effort has recently been made to rigorously relate the formal treatment of cryptography with the computational one. A first substantial step in this dire...
Omer Horvitz, Virgil D. Gligor
DSOM
2006
Springer
15 years 10 months ago
Efficient Information Retrieval in Network Management Using Web Services
Abstract. Web Services is an XML-based technology that has attracted significant attention for building distributed Internet services. There have also been significant efforts tryi...
Aimilios Chourmouziadis, George Pavlou
SIGKDD
2010
101views more  SIGKDD 2010»
15 years 5 months ago
10th international French speaking conference on knowledge discovery and management (EGC2010): conference report
This conference report gives an overview of the 10th International French-speaking conference on Knowledge Discovery and Management (KDM) held in Hammamet, Tunisia, January 26-29,...
Sadok Ben Yahia, Jean-Marc Petit
VL
2008
IEEE
130views Visual Languages» more  VL 2008»
16 years 1 months ago
Exploring the evolution of software quality with animated visualization
Assessing software quality and understanding how events in its evolution have lead to anomalies are two important steps toward reducing costs in software maintenance. Unfortunatel...
Guillaume Langelier, Houari A. Sahraoui, Pierre Po...