5457 search results - page 347 / 1092 » Clinical requirements engineering |
174
click to vote
VMCAI
2007
Springer
16 years 27 days ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
165
click to vote
AUIC
2006
IEEE
16 years 26 days ago
2006
IEEE
A paperless environment for annotating student assignments is appealing to teachers and students. However, to do this, while retaining the richness and ease of annotating the work...
169
click to vote
COMPSAC
2006
IEEE
16 years 26 days ago
2006
IEEE
Modern mobile computing paradigms have set new challenges for the development of distributed mobile applications and services. Because of the variability which characterizes the c...
196
click to vote
IAT
2006
IEEE
16 years 26 days ago
2006
IEEE
The representation of goals and the ability to reason about them play an important role in goal-oriented requirements analysis and modelling techniques, especially in agent-orient...
143
click to vote
IEEECIT
2006
IEEE
16 years 25 days ago
2006
IEEE
As an important part of service-oriented software engineering, service retrieval receives much attention from industry and academia, but which still leaves much to be expected: ho...