1078 search results - page 169 / 216 » Modelling and Verifying of e-Commerce Systems |
138
click to vote
APN
1995
Springer
15 years 8 months ago
1995
Springer
State Space Analysis is one of the most developed analysis methods for Petri Nets. The main problem of state space analysis is the size of the state spaces. Several ways to reduce ...
141
click to vote
ICRA
1995
IEEE
15 years 8 months ago
1995
IEEE
—Learning control is a concept for controlling dynamic systems in an iterative manner. It arises from the recognition that robotic manipulators are usually used to perform repeti...
144
click to vote
TISSEC
2010
14 years 11 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'...
182
click to vote
ACHI
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—The development of human-robot interaction scenarios is a strongly situation-dependent as well as an extremely dynamic task. Humans interacting with the robot directly r...
134
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper describes our experiences in defining the processes associated with preparing and administrating chemotherapy and then using those process definitions as the b...