3273 search results - page 385 / 655 » Structured Design of Microelectromechanical Systems |
171
click to vote
CCS
2007
ACM
16 years 23 days ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
180
click to vote
HAPTICS
2006
IEEE
16 years 19 days ago
2006
IEEE
We present a novel bilateral telemanipulation control system called Pseudo-admittance, which is designed to mimic admittance control on systems where the master is an impedance-ty...
158
click to vote
VRST
2009
ACM
15 years 11 months ago
2009
ACM
Virtual reality has been proposed as a training regime for a large number of tasks from surgery rehearsal (cf. [Robb et al. 1996], to combat simulation (cf. [U. S. Congress, Offi...
144
click to vote
NOMS
2000
IEEE
15 years 11 months ago
2000
IEEE
Global Number Portability (GNP) is becoming a key service to increase competition and profit of a service provider for the ever-growing telephone marketplace. In this paper, we pr...
196
click to vote
EUROMICRO
2009
IEEE
15 years 10 months ago
2009
IEEE
SaveCCM is a domain specific component model developed specifically for safety-critical hard real-time embedded systems in the vehicular domain. This paper expands the scope of Sa...