Sciweavers

6303 search results - page 111 / 1261
» A Generated Management for Distributed Systems
Sort
View
CGF
2005
116views more  CGF 2005»
13 years 10 months ago
RenderBots-Multi-Agent Systems for Direct Image Generation
The term stroke-based rendering collectively describes techniques where images are generated from elements that are usually larger than a pixel. These techniques lend themselves w...
Stefan Schlechtweg, Tobias Germer, Thomas Strothot...
ICMCS
2000
IEEE
83views Multimedia» more  ICMCS 2000»
14 years 2 months ago
System Aspects of Copy Management for Digital Video
- THIS PAPER REVIEWS BASIC PRINCIPLES OF COPY PROTECTION FOR DIGITAL VIDEO. WE DISTINGUISH BETWEEN THE ROLE OF CRYPTOGRAPHY AND EMBEDDED SIGNALING, AS SEEN BY STANDARDIZATION BODIE...
Jean-Paul M. G. Linnartz, Joop Talstra, Ton Kalker...
ENTCS
2007
97views more  ENTCS 2007»
13 years 10 months ago
Can a Model Checker Generate Tests for Non-Deterministic Systems?
Modern software is increasingly concurrent, timed, distributed, and therefore, non-deterministic. While it is well known that tests can be generated as LTL or CTL model checker co...
Sergiy Boroday, Alexandre Petrenko, Roland Groz
MODELS
2007
Springer
14 years 4 months ago
Automatic Generation of Workflow-Extended Domain Models
The specification of business processes is becoming a more and more critical aspect for organizations. Such processes are specified as workflow models expressing the logical preced...
Marco Brambilla, Jordi Cabot, Sara Comai
IADT
1998
100views more  IADT 1998»
13 years 11 months ago
Task Handling in Workflow Management Systems
Work ow management systems aim to automate the execution of business processes. One of the objectives of the work ow systems is to include the already existing applications such a...
Pinar Karagoz, Sena Nural Arpinar, Pinar Koksal, N...