2282 search results - page 302 / 457 » Active property checking |
ACSAC
2000
IEEE
14 years 2 months ago
2000
IEEE
This contribution discusses a network-level access control technique that applies the non-discretionary access control model to individual data packets that are exchanged between ...
EUROMICRO
2000
IEEE
14 years 2 months ago
2000
IEEE
The Automated Production Systems (APS) are composed of concurrent interacting entities. Then any model should exhibit parallel and sequential behaviours. The Grafcet is now well e...
ICRA
2000
IEEE
14 years 2 months ago
2000
IEEE
This paper describes a fast technique for modifying motion sequences for complex articulated mechanisms in a way that preserves physical properties of the motion. This technique i...
LICS
2000
IEEE
14 years 2 months ago
2000
IEEE
We study definability and complexity issues for automatic and ω-automatic structures. These are, in general, infinite structures but they can be finitely presented by a collec...
TOOLS
2000
IEEE
14 years 2 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...