5180 search results - page 866 / 1036 » Requirements Engineering |
178
Voted
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Real-time, reactive, and embedded systems are increasingly used throughout society (e.g., flight control, railway signaling, vehicle management, medical devices, and many others)....
162
Voted
SIGSOFT
2002
ACM
16 years 7 months ago
2002
ACM
Static checking can verify the absence of errors in a program, but often requires written annotations or specifications. As a result, static checking can be difficult to use effec...
196
Voted
SIGSOFT
2002
ACM
16 years 7 months ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...
186
Voted
WWW
2009
ACM
16 years 7 months ago
2009
ACM
Collaborative browsing, or co-browsing, is the co-navigation of the web with other people at-a-distance, supported by software that takes care of synchronizing the browsers. Curre...
176
Voted
WWW
2009
ACM
16 years 7 months ago
2009
ACM
Understanding the intent behind a user's query can help search engine to automatically route the query to some corresponding vertical search engines to obtain particularly re...