7694 search results - page 496 / 1539 » An Implementation of an Applicative File System |
145
click to vote
ACSD
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper reviews a proposal for the modular analysis of Petri nets and its applicability to factory automation systems. It presents new algorithms to harness this modular analys...
196
click to vote
LPAR
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The ZETA system is a Z-based tool environment for developing formal specifications. It contains a component for executing the Z language based on the implementation techn...
166
click to vote
ISCAS
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract-- Two-dimensional (2-D) discrete systems with periodic coefficients are considered for stability. These systems are called periodically shift variant (PSV) digital filters...
213
click to vote
ISER
1991
Springer
15 years 10 months ago
1991
Springer
Detailed knowledge of actuator properties is a prerequisite for advanced manipulator design and control. This paper deals with the experimental identification and modelling of the...
180
click to vote
PDPTA
2000
15 years 8 months ago
2000
Abstract We describe an event-based, publishand-subscribe system based on using "smart subscriptions" to recognize weakly structured events. We present a hierarchy of sub...