24 search results - page 2 / 5 » rita 2006 |
RITA
2000
13 years 7 months ago
2000
This paper discusses how RETOOL, an action logic featuring an operator that expresses necessary conditions, postconditions and time bounds of actions, can be combined with MTL, a ...
MM
2006
ACM
14 years 1 months ago
2006
ACM
Access to devices that integrate Global Positioning data with image and sound acquisition becomes more common, enabling people to build large collections of locative multimedia. A...
RITA
2006
13 years 7 months ago
2006
: Requirements traceability is central to the issue of requirements management, which is essential for producing quality software. Our focus on requirements traceability addresses ...
VIS
2006
IEEE
14 years 8 months ago
2006
IEEE
RITA
2006
13 years 7 months ago
2006
: Advances in data storage and image acquisition technologies have enabled the creation of large image datasets. In this scenario, it is necessary to develop appropriate informatio...