1163 search results - page 216 / 233 » Case Studies of Model Checking for Embedded System Designs |
103
click to vote
DSVIS
2008
Springer
15 years 1 months ago
2008
Springer
Specifying user interfaces consists in a fundamental activity in the user interface development life cycle as it informs the subsequent steps. Good quality specifications could lea...
100
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...
HICSS
2009
IEEE
15 years 6 months ago
2009
IEEE
In the domain of logistics, Radio Frequency Identification (RFID) promises a plethora of benefits due to an enhanced efficiency, accuracy, and preciseness of object identification...
HICSS
2008
IEEE
15 years 6 months ago
2008
IEEE
On September 5, 2006, a legal precedent was set for web accessibility. Federal judge Marilyn Patel sustained discrimination claims by the National Federation for the Blind against...
DGO
2007
15 years 1 months ago
2007
Enhanced information sharing among criminal justice agencies is a critical concern and a goal of much IT investment. Understanding agencies’ capabilities to achieve this goal is...