853 search results - page 133 / 171 » A supporting system for verification among models of the UML |
MM
1998
ACM
14 years 1 days ago
1998
ACM
Easy-to-use audio/video authoring tools play a crucial role in moving multimedia software from research curiosity to mainstream applications. However, research in multimedia author...
AAAI
2006
13 years 9 months ago
2006
LOCATE is workspace layout design software that also serves as a testbed for developing and refining principles of adaptive aiding. This demonstration illustrates LOCATE's ab...
SELMAS
2004
Springer
14 years 1 months ago
2004
Springer
The development of Multi-Agent Systems (MASs) involves special concerns, such as interaction, adaptation, autonomy, among others. Many of these concerns are overlapping, crosscut e...
SAC
2011
ACM
12 years 10 months ago
2011
ACM
Although the Web lets users freely browse and publish information, most Web information is unauthorized in contrast to conventional mass media. Therefore, it is not always credibl...
MOBICOM
1998
ACM
14 years 1 days ago
1998
ACM
CT In order to support location-aware applications it is necessary to locate people and equipment in near real-time. To avoid unnecessary exposure of details of the underlying trac...