3706 search results - page 305 / 742 » OntoComP System Description |
183
click to vote
COMPSYSTECH
2009
15 years 4 months ago
2009
: Recent advances in Information and Communication Technologies (ICT) and more specifically in wireless networks and mobile computing have driven new directions in the development ...
160
click to vote
FTDCS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper considers central issues of distributed computing in a mobile environment. Its aim is to light on the first brick of a common view for mobile systems. We pool together...
161
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—This paper presents a technique to perform arbitrary fixed permutations on streaming data. We describe a parameterized architecture that takes as input n data points st...
166
click to vote
ICMCS
2007
IEEE
16 years 27 days ago
2007
IEEE
Camera phones present new opportunities and challenges for mobile informationassociation and retrieval. The visual input in the real environment is a new and rich interaction moda...
200
click to vote
ATVA
2007
Springer
16 years 23 days ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...