788 search results - page 98 / 158 » Design and use of a system-level specification and verificat... |
167
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
We propose a mechanism for object access control which is based on the UML. Specifically, we propose use of ownership and immutability constraints on UML associations and verifica...
162
click to vote
ISMAR
2005
IEEE
15 years 12 months ago
2005
IEEE
A method is presented to rapidly incorporate real objects into virtual environments using laser scanned 3D models with color-based marker tracking. Both the real objects and their...
168
click to vote
IJCSA
2008
15 years 6 months ago
2008
Within the computer aided design (CAD) teaching framework, new information and communication technologies (ICT's) are being set through new tools and methodological changes: ...
173
click to vote
SIMUTOOLS
2008
15 years 7 months ago
2008
In this paper we present a methodology for the evaluation of networked systems communicating using WLAN technology. We show a case study of goal-oriented cooperating robots, for w...
170
click to vote
AOSE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Nowadays, information systems have to perform in complex, heterogeneous environments, considering a variety of system users with different needs and preferences. Software...