4099 search results - page 257 / 820 » A Framework for Interactive Proof |
171
click to vote
TRIDENTCOM
2006
IEEE
16 years 17 days ago
2006
IEEE
— The Communication Measurement Tool II (CMT II) is a framework for comprehensive IP measurements. It is the next development stage of the succeeded measurement framework called ...
194
click to vote
RTSS
2003
IEEE
15 years 12 months ago
2003
IEEE
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
181
click to vote
IADIS
2004
15 years 8 months ago
2004
Economical globalization and outsourcing have inspired the surge of research in distributed computer-aided design. This paper presents a framework for Internet-based symbolic dist...
165
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—As the service requirements of network applications shift from high throughput to high media quality, interactivity, and responsiveness, the definition of QoE (Quality of Exper...
158
click to vote
ICRA
2006
IEEE
16 years 18 days ago
2006
IEEE
Abstract— Tomorrow’s humanoids will operate in human environments, where efficient manipulation and locomotion skills, and safe contact interactions will be critical design fa...