Sciweavers

1866 search results - page 11 / 374
» Flexibly Interleaving Processes
Sort
View
MBUI
2004
134views User Interface» more  MBUI 2004»
13 years 8 months ago
Supporting Flexible Business Processes with a Progression Model
Users require flexibility when interacting with information systems to contend with changing business processes, and to support diverse workflow. Model-based user interface design...
Nicole Stavness, Kevin A. Schneider
CAISE
2006
Springer
13 years 11 months ago
Supporting Planned and Ad-Hoc Changes of Business Processes
Flexibility of business processes requires a modeling language that can distinguish between the stable and flexible parts of a business process. Starting from a general model of bu...
Peter Rittgen
SNPD
2008
13 years 8 months ago
Tools and Techniques for Model Checking Networked Programs
For software executing several threads in parallel, testing is unreliable, as it cannot cover all thread schedules. Model checking, however, can cover all possible thread interlea...
Cyrille Artho, Watcharin Leungwattanakit, Masami H...
ISPASS
2003
IEEE
14 years 19 days ago
Accelerating private-key cryptography via multithreading on symmetric multiprocessors
Achieving high performance in cryptographic processing is important due to the increasing connectivity among today’s computers. Despite steady improvements in microprocessor and...
Praveen Dongara, T. N. Vijaykumar
FUIN
2006
125views more  FUIN 2006»
13 years 7 months ago
Associative Omega-product of Processes
The notion of an associative omega-product is applied to processes. Processes are one of the ways to represent behavior of Petri nets. They have been studied for some years as an ...
Roman R. Redziejowski