118 search results - page 16 / 24 » Meca: A Tool for Access Control Models |
AR
2010
13 years 7 months ago
2010
This paper introduces the Laparobot, a tele-operated surgical robot designed specifically for training surgeons in advanced laparoscopic techniques. The Laparobot allows a student...
HICSS
2012
IEEE
12 years 3 months ago
2012
IEEE
—Real-time access to key performance indicators is necessary to ensure timeliness and effectiveness of operational business processes. The concept of Business Activity Monitoring...
AI
2009
Springer
14 years 2 months ago
2009
Springer
Many complex, real world phenomena are difficult to study directly using controlled experiments. Instead, the use of computer simulations has become commonplace as a feasible alte...
USS
2008
13 years 9 months ago
2008
In this paper, we present an approach for verifying that trusted programs correctly enforce system security goals when deployed. A trusted program is trusted to only perform safe ...
SIMUTOOLS
2008
13 years 8 months ago
2008
Wireless communication has attracted considerable interest in the research community, and many wireless networks are evaluated using discrete event simulators like OMNeT++. Althou...