Sciweavers

805 search results - page 78 / 161
» Concept-Driven Engineering for Supporting Different Views of...
Sort
View
140
Voted
DEXAW
2005
IEEE
123views Database» more  DEXAW 2005»
15 years 10 months ago
Requirements for the Visualization of System-Spanning Business Processes
The monitoring and visualization of enterprise-wide and cross-organizational business processes is an important, but also very complex task. The information needed for visualizing...
Ralph Bobrik, Manfred Reichert, Thomas Bauer
139
Voted
APPINF
2003
15 years 6 months ago
Extracting High-level Architecture from Existing Code with Summary Models
Evolution of existing large telecommunications software currently became an important issue. Efficient methods are needed to componentize existing software identify existing compo...
Nikolai Mansurov, Djenana Campara
SCAM
2007
IEEE
15 years 11 months ago
SUDS: An Infrastructure for Creating Bug Detection Tools
SUDS is a powerful infrastructure for creating dynamic bug detection tools. It contains phases for both static analysis and dynamic instrumentation allowing users to create tools ...
Eric Larson
SIGSOFT
2007
ACM
16 years 5 months ago
Model checking service compositions under resource constraints
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
David S. Rosenblum, Howard Foster, Jeff Kramer, Je...
139
Voted
ICCAD
2002
IEEE
141views Hardware» more  ICCAD 2002»
16 years 1 months ago
A hierarchical modeling framework for on-chip communication architectures
— The communication sub-system of complex IC systems is increasingly critical for achieving system performance. Given this, it is important that the on-chip communication archite...
Xinping Zhu, Sharad Malik