10908 search results - page 462 / 2182 » Requirements Engineering Tasks |
113
click to vote
COMPSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
Temporal correctness is crucial to the dependability of real-time systems. Few methods exist to test for temporal correctness and most existing methods are ad-hoc. A problem with ...
136
click to vote
EDBTW
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Portal Catalogs is a popular means of searching for information on the Web. They provide querying and browsing capabilities on data organized in a hierarchy, on a categor...
138
click to vote
AVI
2008
15 years 7 months ago
2008
A plethora of reaching techniques, intended for moving objects between locations distant to the user, have recently been proposed and tested. One of the most promising techniques i...
119
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...
102
click to vote
ESCIENCE
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents a generic approach for developing and using Grid-based workflow technology for enabling cross-organizational engineering applications. Using industrial product...