2200 search results - page 356 / 440 » Hop Integrity in Computer Networks |
123
click to vote
SEUS
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract. Ubiquitous embedded computing systems expected to reliably perform one or more relevant tasks need design and verification methods currently not available. New envisioned...
120
click to vote
ICUMT
2009
15 years 29 days ago
2009
Abstract--Sensor network ubiquitous environments may generate a lot of data including heterogeneous `raw' sensor data, low-level feature and/or trend data and higher-level con...
171
click to vote
ICWS
2009
IEEE
15 years 29 days ago
2009
IEEE
Web service-based workflow management systems have garnered considerable attention for automating and scheduling dependent operations. Such systems often support user preferences,...
145
click to vote
FAC
2010
15 years 18 days ago
2010
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
146
click to vote
MM
2004
ACM
15 years 8 months ago
2004
ACM
Approximately 2 degrees in our 140 degree vision span has sharp vision. Many researchers have been fascinated by the idea of eyetracking integrated perceptual compression of an im...