10159 search results - page 1646 / 2032 » System Design Validation Using Formal Models |
228
click to vote
RAID
2009
Springer
16 years 1 months ago
2009
Springer
The deployment and use of Anomaly Detection (AD) sensors often requires the intervention of a human expert to manually calibrate and optimize their performance. Depending on the si...
174
click to vote
CBMS
2008
IEEE
16 years 1 months ago
2008
IEEE
Privacy and security are critical requirements for using patient profiles in distributed healthcare environments. The amalgamation of new information technology with traditional ...
167
click to vote
WETICE
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper presents semantic approach for a solution of the problem of interoperability for virtual worlds. The semantic of virtual worlds and virtual entities is described using ...
189
click to vote
ENGL
2008
15 years 6 months ago
2008
The objective herein is to demonstrate the feasibility of a real-time digital control of an inverted pendulum for modeling and control, with emphasis on nonlinear auto regressive m...
178
click to vote
SACMAT
2005
ACM
16 years 11 days ago
2005
ACM
As privacy becomes a major concern for both consumers and enterprises, many research efforts have been devoted to the development of privacy protecting technology. We recently pr...