3828 search results - page 216 / 766 » Proof-Based System Engineering Using a Virtual System Model |
163
click to vote
SAC
2002
ACM
15 years 6 months ago
2002
ACM
Event-based systems are developed and used as a coordination model to integrate components in loosely coupled systems. Research and product development focused so far on efficienc...
161
click to vote
AEI
2005
15 years 6 months ago
2005
A system identification methodology that makes use of data mining techniques to improve the reliability of identification is presented in this paper. An important aspect of the me...
204
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
From a software engineering perspective, agent systems are a specialization of object-oriented (OO) systems, in which individual objects have their own threads of control and thei...
168
click to vote
HAPTICS
2005
IEEE
16 years 3 days ago
2005
IEEE
Multi-fingers haptic device that enables multiple point of contact is essential for medical education. There is a strong need for palpation training in the detection of subsurface...
201
click to vote
PRESENCE
2002
15 years 6 months ago
2002
In this paper we describe two explorations in the use of hybrid user interfaces for collaborative geographic data visualization. Our first interface combines three technologies; A...