Sciweavers

1216 search results - page 202 / 244
» Translation analysis and translation automation
Sort
View
ACSD
2004
IEEE
118views Hardware» more  ACSD 2004»
13 years 11 months ago
Verification and Implementation of Delay-Insensitive Processes in Restrictive Environments
Abstract. A delay-insensitive module communicates with its environment through wires of unbounded delay. To avoid transmission interference, the absorption of a signal transition m...
Hemangee K. Kapoor, Mark B. Josephs, Dennis P. Fur...
APN
2004
Springer
13 years 11 months ago
Web Supported Enactment of Petri-Net Based Workflows with XRL/Flower
This paper describes concepts and features of a Web-based system called XRL/flower for carrying out Petri-net based workflows described with XRL (eXchangeable Routing Language). XR...
Alexander Norta
BPM
2006
Springer
118views Business» more  BPM 2006»
13 years 11 months ago
Faulty EPCs in the SAP Reference Model
Little is known about error probability in enterprise models as they are usually kept private. The SAP reference model is a publically available model that contains more than 600 n...
Jan Mendling, Michael Moser, Gustaf Neumann, H. M....
DFG
2004
Springer
13 years 11 months ago
Verification of PLC Programs Given as Sequential Function Charts
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...
Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven ...
DCOSS
2006
Springer
13 years 11 months ago
Evaluating Local Contributions to Global Performance in Wireless Sensor and Actuator Networks
Wireless sensor networks are often studied with the goal of removing information from the network as efficiently as possible. However, when the application also includes an actuato...
Christopher J. Rozell, Don H. Johnson