Sciweavers

2055 search results - page 285 / 411
» Generic Model Refactorings
Sort
View
116
Voted
TACS
1997
Springer
15 years 5 months ago
Type System for Specializing Polymorphism
Abstract. Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, there is an inherent conflict...
Atsushi Ohori
118
Voted
CSFW
2010
IEEE
15 years 5 months ago
Formal Verification of Privacy for RFID Systems
RFID tags are being widely employed in a variety of applications, ranging from barcode replacement to electronic passports. Their extensive use, however, in combination with their ...
Mayla Brusò, Konstantinos Chatzikokolakis, ...
CHI
2010
ACM
15 years 4 months ago
Graaasp: a web 2.0 research platform for contextual recommendation with aggregated data
In this paper we describe Graaasp, a social software currently under development to support the creation of a real usage database of social artifacts. Our goals are twofold: First...
Evgeny Bogdanov, Sandy El Helou, Denis Gillet, Chr...
AGI
2008
15 years 3 months ago
Comirit: Commonsense Reasoning by Integrating Simulation and Logic
Rich computer simulations or quantitative models can enable an agent to realistically predict real-world behavior with precision and performance that is difficult to emulate in log...
Benjamin Johnston, Mary-Anne Williams
CIDR
2007
106views Algorithms» more  CIDR 2007»
15 years 3 months ago
One table stores all: Enabling painless free-and-easy data publishing and sharing
In this paper, we present a free-and-easy data publishing and sharing system based on folksonomy. The system accepts data objects described with user-created metadata, called data...
Beng Chin Ooi, Bei Yu, Guoliang Li