2838 search results - page 217 / 568 » Verifying Controlled Components |
104
Voted
PAA
2008
15 years 21 days ago
2008
Artificial immune system (AIS)-based pattern classification approach is relatively new in the field of pattern recognition. The study explores the potentiality of this paradigm in ...
117
Voted
CCS
2004
ACM
15 years 6 months ago
2004
ACM
Comparing the expressive power of access control models is recognized as a fundamental problem in computer security. Such comparisons are generally based on simulations between di...
120
click to vote
IJRR
2008
15 years 22 days ago
2008
One of the most general frameworks for phrasing control problems for complex, redundant robots is operational space control. However, while this framework is of essential importan...
96
Voted
WORDS
2003
IEEE
15 years 6 months ago
2003
IEEE
The ’Distributed Control Lab’ [6] at Hasso-PlattnerInstitute, University of Potsdam allows experimentation with a variety of physical equipment via the web (intra and internet...
131
Voted
XMLSEC
2003
ACM
15 years 6 months ago
2003
ACM
Business Processes for Web Services are the new paradigm for the lightweight integration of business from different enterprises. Whereas the security and access control policies ...