2493 search results - page 269 / 499 » Tool Support for Design by Contract |
NGITS
1997
Springer
15 years 3 months ago
1997
Springer
With the proliferation of the World Wide Web, it has become very important to provide advanced tools for maintaining referential integrity of information resources. The growing te...
100
Voted
JBI
2007
14 years 10 months ago
2007
This paper deals with the exploration of biomedical multivariate time series to construct typical parameter evolution or scenarios. This task is known to be difficult: the tempora...
64
Voted
UIST
2005
ACM
15 years 4 months ago
2005
ACM
Supporting groups of individuals exploring large maps and design diagrams on interactive tabletops is still an open research problem. Today’s geospatial, mechanical engineering ...
ICCS
2005
Springer
15 years 4 months ago
2005
Springer
Ultimate DDDAS success demands that DDDAS simulations be increasingly reconfigurable and adaptable to a growing variety of runtime sensor feedback. Because we expect a simulation...
87
Voted
CHINZ
2005
ACM
15 years 27 days ago
2005
ACM
Beautification of vague, imprecise sketchy ink input is an interesting area for exploration, especially with the emergence of pen-based systems, such as the Tablet PC. Fifty perce...