1141 search results - page 188 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
159
click to vote
AVI
2006
15 years 7 months ago
2006
Co-located collaborators often work over physical tabletops with rich geospatial information. Previous research shows that people use gestures and speech as they interact with art...
163
click to vote
ICWE
2004
Springer
15 years 11 months ago
2004
Springer
A data–intensive Web application is a Web-enabled software system for the publication and management of large data collections, typically stored in one or more database manageme...
181
click to vote
SCESM
2006
ACM
16 years 4 days ago
2006
ACM
The dynamic behavior of systems is best described by Finite-state machines. Generation of executable tests from behavioral models such as UML Statecharts offers benefits such as s...
178
click to vote
RTSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Often, data used in on-line decision making (for example, in determining how to react to changes in process behavior, traffic flow control, etc.) is dynamic in nature and hence ...
201
click to vote
GSEM
2004
Springer
15 years 11 months ago
2004
Springer
Occam is a parallel processing language designed by a team at INMOS in conjunction with the design of the transputer processor, and based on Sir T. Hoare's ideas of Communica...