2004 search results - page 236 / 401 » Comparison of Model Checking Tools for Information Systems |
149
click to vote
ICSE
2001
IEEE-ACM
15 years 9 months ago
2001
IEEE-ACM
Design traceability has been widely recognized as being an integral aspect of software development. In the past years this fact has been amplified due to the increased use of lega...
137
click to vote
SIAMSC
2008
15 years 4 months ago
2008
Many important physiological processes operate at time and space scales far beyond those accessible to atom-realistic simulations, and yet discrete stochastic rather than continuum...
150
click to vote
NORDICHI
2004
ACM
15 years 10 months ago
2004
ACM
This case study examines a procurement project where the Swedish National Labor Market Administration (AMV) hired usability consultants in order to redesign their website for empl...
153
click to vote
LOGCOM
2008
15 years 4 months ago
2008
The Sum-and-Product riddle was first published in [Fre69]. We provide an overview on the history of the dissemination of this riddle through the academic and puzzle-math community...
124
click to vote
VR
1999
IEEE
15 years 9 months ago
1999
IEEE
The Virtual Assembly Design Environment (VADE) is a Virtual Reality (VR) based engineering application which allows engineers to evaluate, analyze, and plan the assembly of mechan...