5457 search results - page 786 / 1092 » Clinical requirements engineering |
180
click to vote
SAINT
2005
IEEE
16 years 10 days ago
2005
IEEE
The Mobile Internet scenario encourages the design and development of context-aware applications that provide results depending on context information, such as the relative positi...
193
click to vote
SWS
2005
ACM
16 years 9 days ago
2005
ACM
Web Services (WS hereafter) Security is a crucial aspect for technologies based on this paradigm to be completely adopted by the industry. As a consequence, a lot of initiatives h...
176
click to vote
GECCO
2005
Springer
16 years 8 days ago
2005
Springer
The application of Evolutionary Algorithms to structural test data generation, known as Evolutionary Testing, has to date largely focused on programs with input-output behavior. H...
184
click to vote
ICFEM
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
190
click to vote
SPW
2004
Springer
16 years 3 days ago
2004
Springer
Abstract Fabio Massacci1 and Nicola Zannone1 Department of Information and Communication Technology University of Trento - Italy {massacci,zannone} at dit.unitn.it The last years h...