Sciweavers

6431 search results - page 787 / 1287
» Model Building by Resolution
Sort
View
ITP
2010
114views Mathematics» more  ITP 2010»
15 years 10 months ago
A New Foundation for Nominal Isabelle
Pitts et al introduced a beautiful theory about names and binding based on the notions of permutation and support. The engineering challenge is to smoothly adapt this theory to a t...
Brian Huffman, Christian Urban
CAISE
2006
Springer
15 years 10 months ago
A Pattern for Designing Distributed Heterogeneous Ontologies for Facilitating Application Interoperability
The role of ontologies in knowledge base systems is gradually increasing. Along with the growth of Internet based applications and ecommerce, the need for easy interoperability bet...
M. Chenine, Vandana Kabilan, M. Garcia Lozano
SBIA
2000
Springer
15 years 10 months ago
User profiling with Case-Based Reasoning and Bayesian Networks
Agent technology provides many services to users. The tasks in which agents are involved include information filtering, information retrieval, user's tasks automation, browsin...
Silvia N. Schiaffino, Analía Amandi
CCS
2008
ACM
15 years 8 months ago
Secure neighbor discovery in wireless networks: formal investigation of possibility
Wireless communication enables a broad spectrum of applications, ranging from commodity to tactical systems. Neighbor discovery (ND), that is, determining which devices are within...
Marcin Poturalski, Panos Papadimitratos, Jean-Pier...
192
Voted
DSVIS
2008
Springer
15 years 8 months ago
ReWiRe: Designing Reactive Systems for Pervasive Environments
The design of interactive software that populates an ambient space is a complex and ad-hoc process with traditional software development approaches. In an ambient space, important ...
Geert Vanderhulst, Kris Luyten, Karin Coninx