10263 search results - page 1708 / 2053 » From Use Cases to System Operation Specifications |
175
click to vote
NSDI
2007
15 years 10 months ago
2007
Determining the physical location of Internet hosts is a critical enabler for many new location-aware services. In this paper, we present Octant, a novel, comprehensive framework ...
189
click to vote
DAGM
2008
Springer
15 years 9 months ago
2008
Springer
We present a view-based method for steering a robot in a network of positions; this includes navigation along a prerecorded path, but also allows for arbitrary movement of the robo...
250
click to vote
FMCAD
2008
Springer
15 years 9 months ago
2008
Springer
el Sequential Memory Abstraction for Model Checking Per Bjesse Advanced Technology Group Synopsys Inc. Many designs intermingle large memories with wide data paths and nontrivial c...
195
click to vote
ACL
2003
15 years 9 months ago
2003
Standard IR systems can process queries such as “web NOT internet”, enabling users who are interested in arachnids to avoid documents about computing. The documents retrieved ...
174
click to vote
WSC
2004
15 years 9 months ago
2004
Ancillary departments, which include radiology services, are among the important factors that affect the efficiency of patient care in a hospital. This paper presents results from...