Sciweavers

2806 search results - page 212 / 562
» BML and Related Tools
Sort
View
BPM
2007
Springer
116views Business» more  BPM 2007»
15 years 10 months ago
View-Based Process Visualization
Abstract. In large organizations different users or user roles have distinguished perspectives over business processes and related data. Personalized views of the managed processes...
Ralph Bobrik, Manfred Reichert, Thomas Bauer
CAV
2007
Springer
111views Hardware» more  CAV 2007»
15 years 10 months ago
Verification Across Intellectual Property Boundaries
In many industries, the share of software components provided by third-party suppliers is steadily increasing. As the suppliers seek to secure their intellectual property (IP) righ...
Sagar Chaki, Christian Schallhart, Helmut Veith
170
Voted
CAISE
2006
Springer
15 years 10 months ago
On Controlled Flexibility
Striking a balance between rigidity and flexibility is a central challenge in designing business processes. Striking this balance begins on the type level, because expressiveness ...
Signe Ellegård Borch, Christian Stefansen
CHI
2005
ACM
15 years 8 months ago
Effects of display blurring on the behavior of novices and experts during program debugging
The Restricted Focus Viewer (RFV) relates a small part of an otherwise blurred display to the focus of visual attention. A user controls which part of the screen is in focus by us...
Roman Bednarik, Markku Tukiainen
FPL
2008
Springer
143views Hardware» more  FPL 2008»
15 years 8 months ago
Fast toggle rate computation for FPGA circuits
This paper presents a fast and scalable method of computing signal toggle rate in FPGA-based circuits. Our technique is a vectorless estimation technique, which can be used in a C...
Tomasz S. Czajkowski, Stephen Dean Brown