4099 search results - page 481 / 820 » A Framework for Interactive Proof |
158
click to vote
ACMDIS
1997
ACM
15 years 11 months ago
1997
ACM
A multidisciplinary team at Philips Sound and Vision's TV Lab developed an E-mail-on-TV functionality. Their objective is to offer the benefits of E-mail to people in their l...
258
Voted
ACMDIS
1995
ACM
15 years 11 months ago
1995
ACM
Effective communication is critical to the success of a software development project. It factors into the productivity of individuals and organizations, and has particular impact ...
237
click to vote
CBSE
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Automata-based interface and protocol specifications provide an elegant framework to capture and automatically verify the interactive behavior of component-based software...
128
Voted
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper presents a robust stop-and-go control law, especially well adapted to car following scenarios in urban environments. Since many vehicle/road interaction factors (road sl...
189
click to vote
CSCWD
2005
Springer
15 years 9 months ago
2005
Springer
Process mining techniques allow for extracting information from event logs. For example, the audit trails of a workflow management system or the transaction logs of an enterprise ...