3799 search results - page 507 / 760 » An Engineering Approach to Formal Methods |
180
click to vote
ICMB
2007
IEEE
16 years 28 days ago
2007
IEEE
In this paper, we present an assessment of NFC (Near Field Communication) for future mobile payment systems. NFC is expected to become a very trendy technology for mobile services...
177
click to vote
ICRA
2007
IEEE
16 years 28 days ago
2007
IEEE
— Synthesis of robot behaviors towards nontrivial goals often requires reasoning about both discrete and continuous aspects of the underlying domain. Existing approaches in build...
190
click to vote
IFM
2007
Springer
16 years 23 days ago
2007
Springer
We present an approach to modelling Abadi–Cardelli-style object calculi as Unifying Theories of Programming (UTP) designs. Here we provide a core object calculus with an operatio...
150
click to vote
ICRA
2005
IEEE
16 years 7 days ago
2005
IEEE
Abstract— This paper presents a novel approach for visionbased control of the end-effector of parallel mechanisms. It is based on the metrological redundancy paradigm, which simp...
170
click to vote
ER
2005
Springer
16 years 5 days ago
2005
Springer
Measuring semantic similarity among concepts is the core method for assessing the degree of semantic interoperability within and between ontologies. In this paper, we propose to ex...