2912 search results - page 443 / 583 » Architecture for Providing Services in the Ubiquitous Comput... |
107
click to vote
ROBIO
2006
IEEE
15 years 7 months ago
2006
IEEE
— This article presents a behavioural architecture, the Survival Kit (SK), which allows behaviours to cast their multivalued output by means of constraints over an ’action feat...
128
click to vote
DAC
2005
ACM
15 years 3 months ago
2005
ACM
We propose a normalization technique for verifying arithmetic circuits in a bounded model checking environment. Our technique operates on the arithmetic bit level (ABL) descriptio...
114
click to vote
VLDB
1994
ACM
15 years 5 months ago
1994
ACM
Many relational and object-oriented database systems provide referential integrity and compound operations on related objects using relationship mechanisms. Distributed object sys...
136
click to vote
SIMPRA
2011
14 years 8 months ago
2011
—In the Internet of the future, a flexible, dynamic combination of wireless and wired access networks is expected to be a key driver for enlarging the broadband communication se...
116
click to vote
CIDM
2011
IEEE
14 years 5 months ago
2011
IEEE
Abstract—In this work, we present an interactive visual clustering approach for the exploration and analysis of vast volumes of data. The proposed approach is based on a bio-insp...