Sciweavers

2173 search results - page 209 / 435
» An operational semantics for skeletons
Sort
View
EDBT
2006
ACM
137views Database» more  EDBT 2006»
14 years 11 months ago
Data Mapping as Search
In this paper, we describe and situate the TUPELO system for data mapping in relational databases. Automating the discovery of mappings between structured data sources is a long st...
George H. L. Fletcher, Catharine M. Wyss
ICWS
2009
IEEE
14 years 8 months ago
Intelligent Matching for Public Internet Web Services Towards Semi-Automatic Internet Services Mashup
In this paper, we propose an Internet public Web service matching approach that paves the way for (semi-)automatic service mashup. We will first provide the overview of the soluti...
Chen Wu, Tharam S. Dillon, Elizabeth Chang
IEEEARES
2009
IEEE
14 years 5 months ago
Algebraic Properties in Alice and Bob Notation
—Alice and Bob notation is a popular way to describe security protocols: it is intuitive, succinct, and yet expressive. Several formal protocol specification languages are based...
Sebastian Mödersheim
SEFM
2009
IEEE
14 years 5 months ago
A Computability Perspective on Self-Modifying Programs
Abstract—In order to increase their stealth, malware commonly use the self-modification property of programs. By doing so, programs can hide their real code so that it is diffi...
Guillaume Bonfante, Jean-Yves Marion, Daniel Reyna...
IROS
2009
IEEE
193views Robotics» more  IROS 2009»
14 years 5 months ago
Active segmentation for robotics
— The semantic robots of the immediate future are robots that will be able to find and recognize objects in any environment. They need the capability of segmenting objects in th...
Ajay K. Mishra, Yiannis Aloimonos, Cornelia Ferm&u...