Sciweavers

7380 search results - page 884 / 1476
» Engineering Software Intensive Systems
Sort
View
AUIC
2005
IEEE
16 years 15 days ago
Interaction With Partially Transparent Hands And Objects
Visual concealment of important objects and information by hands or tools can make many tasks more difficult. To alleviate this problem, hands and tools can be made partially tran...
Volkert Buchmann, Trond Nilsen, Mark Billinghurst
COMPSAC
2005
IEEE
16 years 15 days ago
Buffer Overrun Prevention Through Component Composition Analysis
Buffer overrun vulnerabilities cause significant security problems, and have proven to be difficult to prevent. In this paper we present a novel approach to tackling the problem...
David Llewellyn-Jones, Madjid Merabti, Qi Shi, Bob...
IAT
2005
IEEE
16 years 14 days ago
An Internal Agent Architecture Incorporating Standard Reasoning Components and Standards-based Agent Communication
This paper discusses a general architecture for intelligent software agents. It can be used to construct agents that engage in high-level reasoning by employing standard reasoning...
Mengqiu Wang, Martin K. Purvis, Mariusz Nowostawsk...
SEFM
2005
IEEE
16 years 13 days ago
From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre ...
IUI
2005
ACM
16 years 13 days ago
Personal reporting of a museum visit as an entrypoint to future cultural experience
Museum visitors can continue interacting with museum exhibits even after they have left the museum. We can help them do this by creating a report that includes a basic, personaliz...
Charles B. Callaway, Tsvi Kuflik, Elena Not, Aless...