2004 search results - page 370 / 401 » Comparison of Model Checking Tools for Information Systems |
123
click to vote
SIGCSE
2008
ACM
14 years 11 months ago
2008
ACM
The national importance of creating "content reflecting cutting edge developments in STEM fields" has been recognized the National Science Foundation. The National Resea...
MONET
2007
14 years 11 months ago
2007
This paper explores the potential for use of an unaugmented commodity technology—the mobile phone— as a health promotion tool. We describe a prototype application that tracks t...
101
click to vote
JIDM
2010
14 years 10 months ago
2010
Data Warehouse (DW), On-Line Analytical Processing (OLAP) and Geographical Information System (GIS) are tools for providing decision-making support. Much research is aimed at inte...
CORR
2006
Springer
14 years 11 months ago
2006
Springer
The TermSciences initiative aims at building a multi-purpose and multi-lingual knowledge system from different source vocabularies produced by major French research institutions a...
113
click to vote
INFSOF
2007
14 years 11 months ago
2007
An important decision problem in many software projects is when to stop testing and release software for use. For many software products, time to market is critical and therefore ...