14709 search results - page 2404 / 2942 » Semantic feature modelling |
175
click to vote
ISCAS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— The study of synchronization of population dynamics is extremely important for predicting and evaluating the risk of global extinctions. The migration in a network of p...
155
click to vote
ISCC
2007
IEEE
2007
IEEE
An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation
16 years 1 months ago
Spi2Java is a tool that enables semi-automatic generation of cryptographic protocol implementations, starting from verified formal models. This paper shows how the last version o...
201
click to vote
ISMAR
2007
IEEE
16 years 1 months ago
2007
IEEE
Unknown environments pose a particular challenge for augmented reality applications because the 3D models required for tracking, rendering and interaction are not available ahead ...
182
click to vote
QUATIC
2007
IEEE
16 years 1 months ago
2007
IEEE
The milestones of the history of software development are paradigm shifts. Each paradigm brought its own features and new ways of composing them to assemble software systems. Unde...
202
click to vote
SOCA
2007
IEEE
16 years 1 months ago
2007
IEEE
Service collaboration is important in ServiceOriented Architecture (SOA). While service collaboration protocols for data exchange are well explored, the Dynamic Process Collaborat...