249 search results - page 42 / 50 » Analyzing software process models with AVISPA |
102
Voted
EICS
2009
ACM
15 years 7 months ago
2009
ACM
Smart environments (e.g., airports, hospitals, stadiums, and other physical spaces using ubiquitous computing to empower many mobile people) provide novel challenges for usability...
111
click to vote
CCGRID
2007
IEEE
15 years 7 months ago
2007
IEEE
The number of processors embedded on high performance computing platforms is continuously increasing to accommodate user desire to solve larger and more complex problems. However,...
124
Voted
CASES
2001
ACM
15 years 4 months ago
2001
ACM
The rapid growth of silicon densities has made it feasible to deploy reconfigurable hardware as a highly parallel computing platform. However, in most cases, the application needs...
96
Voted
ICST
2010
IEEE
14 years 11 months ago
2010
IEEE
— Testing of graphical user interfaces is important due to its potential to reveal faults in operation and performance of the system under consideration. Most existing test appro...
100
Voted
WSC
2000
15 years 1 months ago
2000
The purpose of this paper is to introduce a new approach to teaching an introductory simulation course using an interactive CD-ROM titled "Simply Simulation". This metho...