4099 search results - page 481 / 820 » A Framework for Interactive Proof |
135
click to vote
ACMDIS
1997
ACM
15 years 10 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...
230
click to vote
ACMDIS
1995
ACM
15 years 10 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 ...
208
click to vote
CBSE
2008
Springer
15 years 8 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...
115
click to vote
CDC
2008
IEEE
15 years 8 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...
170
click to vote
CSCWD
2005
Springer
15 years 8 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 ...