860 search results - page 153 / 172 » Towards a UML for Interactive Systems |
ECAI
2004
Springer
15 years 3 months ago
2004
Springer
Technological advancements have and will revolutionise the support offered to persons in their home environment. As the population continues to grow and in addition the percentage ...
IPPS
2003
IEEE
15 years 2 months ago
2003
IEEE
We introduce VLADYMIR, a matrix library that permits the development of array-based code in C++. It is especially useful for numerical simulation tasks and parallelises automatical...
SI3D
2003
ACM
15 years 2 months ago
2003
ACM
It is common for 3D visualization systems to provide multiple points of view to a user, but there have been many solutions to the problem of linking these views so that users can ...
101
click to vote
CCS
2003
ACM
15 years 2 months ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
VISUALIZATION
2000
IEEE
15 years 2 months ago
2000
IEEE
Throughout the design cycle, visualization, whether a sketch scribbled on the back of a spare piece of paper or a fully detailed drawing, has been the mainstay of design: we need ...