19979 search results - page 3869 / 3996 » Decision support systems |
192
click to vote
OTM
2009
Springer
16 years 29 days ago
2009
Springer
Collaboration in modeling is essential to success, but ORM diagrams intimidate many business people, and most would never install an ORM modeling tool on their computers. The Const...
186
click to vote
OTM
2009
Springer
16 years 29 days ago
2009
Springer
Provenance, from the French word “provenir”, describes the lineage or history of a data entity. Provenance is critical information in scientific applications to verify experime...
194
click to vote
PDCAT
2009
Springer
16 years 29 days ago
2009
Springer
Abstract—In this paper, a tool named CheCUDA is designed to checkpoint CUDA applications that use GPUs as accelerators. As existing checkpoint/restart implementations do not supp...
167
click to vote
SPIN
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
149
click to vote
ACMACE
2009
ACM
16 years 28 days ago
2009
ACM
We developed Exertainer, a sensor-enabled, interactive running entertainment system to support advanced exercise applications. We designed Exertainer to be used in urban environme...