2429 search results - page 176 / 486 » A Requirement Engineering Approach to User Centered Design |
150
click to vote
CODES
2007
IEEE
15 years 8 months ago
2007
IEEE
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...
147
click to vote
KBSE
2010
IEEE
15 years 3 months ago
2010
IEEE
We study the problem of statistical model checking of probabilistic systems for PCTL unbounded until property P1p(ϕ1 U ϕ2) (where 1 ∈ {<, ≤, >, ≥}) using the computa...
160
click to vote
ISESE
2005
IEEE
15 years 10 months ago
2005
IEEE
The development of High-Performance Computing (HPC) programs is crucial to progress in many fields of scientific endeavor. We have run initial studies of the productivity of HPC d...
127
click to vote
ICSOC
2005
Springer
15 years 10 months ago
2005
Springer
Web Services are entailing a major shift of perspective in software engineering: software is used and not owned, and operation happens on machines that are out of the user control....
143
click to vote
VLDB
2001
ACM
15 years 9 months ago
2001
ACM
In recent years, several methods have been proposed for implementing interactive similarity queries on multimedia databases. Common to all these methods is the idea to exploit use...