4099 search results - page 539 / 820 » A Framework for Interactive Proof |
157
click to vote
KBSE
2006
IEEE
16 years 20 days ago
2006
IEEE
A software system interacts with its environment through system interfaces. Robustness of software systems are governed by various temporal properties related to these interfaces,...
168
click to vote
ATS
2005
IEEE
16 years 8 days ago
2005
IEEE
The need for high-performance pipelined architectures has resulted in the adoption of latch based designs with multiple, interacting clocks. For such designs, time sharing across ...
185
click to vote
SIGSOFT
2004
ACM
16 years 2 days ago
2004
ACM
Rapid advances in wireless networking technologies have enabled mobile devices to be connected anywhere and anytime. While roaming, applications on these devices dynamically disco...
151
click to vote
INLG
2004
Springer
16 years 7 hour ago
2004
Springer
Abstract. We present a novel ensemble of six methods for improving the efficiency of chart realization. The methods are couched in the framework of Combinatory Categorial Grammar (...
169
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract—Current techniques towards information security have limited capabilities to detect and counter attacks that involve different kinds of masquerade and spread of misinfor...