Sciweavers

4099 search results - page 481 / 820
» A Framework for Interactive Proof
Sort
View
ACMDIS
1997
ACM
15 years 10 months ago
The Flower Model for Multidisciplinary Teamwork on a New Product-Market Combination - In This Case E-Mail-on-TV
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...
Marc Steen
ACMDIS
1995
ACM
15 years 10 months ago
Facilitating Communication in Software Development
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 ...
Michael E. Atwood, Bart Burns, Dieter Gairing, And...
CBSE
2008
Springer
15 years 8 months ago
State Space Reduction Techniques for Component Interfaces
Abstract. Automata-based interface and protocol specifications provide an elegant framework to capture and automatically verify the interactive behavior of component-based software...
Markus Lumpe, Lars Grunske, Jean-Guy Schneider
CDC
2008
IEEE
113views Control Systems» more  CDC 2008»
15 years 8 months ago
Robust grey-box closed-loop stop-and-go control
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...
Jorge Villagra, Brigitte d'Andréa-Novel, Mi...
CSCWD
2005
Springer
15 years 8 months ago
Process mining in CSCW systems
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 ...
Wil M. P. van der Aalst