3432 search results - page 111 / 687 » Model Development in the UML-based Specification Environment... |
TISSEC
2010
13 years 3 months ago
2010
The SELinux mandatory access control (MAC) policy has recently added a multi-level security (MLS) model which is able to express a fine granularity of control over a subject'...
PROMS
2001
Springer
14 years 1 months ago
2001
Springer
A lot of attention has been given to network quality of service and efforts to make layers on top of the network also QoS-aware increase noticeably. This paper explores QoS-aware s...
CARS
2004
13 years 10 months ago
2004
In this paper we describe the development of an interactive virtual reality (VR) system that aims to realistically simulate specific paracentesis clinical procedures (particularly ...
EURODAC
1994
IEEE
14 years 1 months ago
1994
IEEE
- The design methodology and technique is presented to expand the power of commercial SPICE to simulate mixed electricalthermal-mechanical microsystems, consisting of motors being ...
WSC
2008
13 years 11 months ago
2008
Proposed in this paper is the architecture of a PLC programming environment that enables a visual verification of PLC programs. The proposed architecture integrates a PLC program ...