2838 search results - page 309 / 568 » Verifying Controlled Components |
152
Voted
BCSHCI
2009
15 years 3 months ago
2009
This paper presents a system for interaction with a display via hand pointing, where a single CCD camera on top of the screen is directed towards the viewers. An attention mechani...
116
Voted
FAC
2008
2008
Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
15 years 2 months ago
A stream X-machine is a type of extended finite state machine with an associated development approach that consists of building a system from a set of trusted components. One of th...
100
Voted
BC
2004
15 years 2 months ago
2004
In hula hooping, organized motions of the body keep the hoop in stable oscillatory motion parallel to the ground. We examined the hypothesis that the multiple degrees of freedom (D...
CCR
2002
15 years 2 months ago
2002
Traffic measurement and monitoring are an important component of network management and traffic engineering. With high-speed Internet backbone links, efficient and effective packe...
107
click to vote
MTA
2000
15 years 2 months ago
2000
Currently, there is much debate whether ATM (Asynchronous Transfer Mode) or IP (Internet Protocol) is the better internetworking technology for multiparty multimedia applications....