1585 search results - page 253 / 317 » A framework for computer-aided validation |
118
click to vote
SWAP
2008
15 years 4 months ago
2008
This paper proposes a Domotic OSGi Gateway (DOG) able to expose different domotic networks as a single, technology neutral, home automation system. The adoption of a standard frame...
122
click to vote
AAAI
2004
15 years 4 months ago
2004
This paper deals with automatically learning the spatial distribution of a set of images. That is, given a sequence of images acquired from well-separated locations, how can they ...
124
click to vote
AISM
2004
15 years 4 months ago
2004
The evolution of web services has facilitated the integration of business processes scattered across different geographical locations of the world. Along with the benefits that we...
101
click to vote
SBACPAD
2004
IEEE
15 years 4 months ago
2004
IEEE
High-performance superscalar processors are designed with the help of complex simulation environment. The simulation infrastructure permits to validate the processor instruction s...
165
click to vote
IM
2003
15 years 4 months ago
2003
: Internet Management is based on IETF specifications that have been developed and used during the past 14 years: There are multiple versions and options of the management protoco...