Sciweavers

1817 search results - page 267 / 364
» Extensive Games as Process Models
Sort
View
92
Voted
ITEE
2007
15 years 2 months ago
Knowledge Acquisition and Risk Analysis in Material Recovery Facilities by a Virtual Team
1 A knowledge acquisition process that has been implemented by a virtual team for the development of a knowledge based early warning system in Material Recovery Facilities (MRFs) o...
Ioannis M. Dokas, Konstantinos Kitis, Christos Dod...
92
Voted
FLAIRS
2001
15 years 2 months ago
An Intelligent Interface for Keyboard and Mouse Control -- Providing Full Access to PC Functionality via Speech
SUITEKeys is a speech user interface for motor-disabled computer users. This interface provides access to all available functionality of a computer by modeling interaction at the ...
Bill Z. Manaris, Renée A. McCauley, Valanne...
129
Voted
CN
1999
163views more  CN 1999»
15 years 15 days ago
Operational Semantics for MSC'96
Recently, the ITU-standardised specification language Message Sequence Chart has been extended with constructs for more complete and structured specifications. The new version of ...
Sjouke Mauw, Michel A. Reniers
108
Voted
JSS
2002
90views more  JSS 2002»
15 years 14 days ago
Producing reliable software: an experiment
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...
Carol Smidts, Xin Huang, James C. Widmaier
105
Voted
SIGMETRICS
2010
ACM
173views Hardware» more  SIGMETRICS 2010»
15 years 5 months ago
Channel fragmentation in dynamic spectrum access systems: a theoretical study
Dynamic Spectrum Access systems exploit temporarily available spectrum (‘white spaces’) and can spread transmissions over a number of non-contiguous sub-channels. Such methods...
Edward G. Coffman Jr., Philippe Robert, Florian Si...