Sciweavers

2834 search results - page 206 / 567
» Design Intent-Oriented Modelling Tools for Aesthetic Design
Sort
View
BPM
2011
Springer
270views Business» more  BPM 2011»
14 years 6 months ago
Automated Error Correction of Business Process Models
As order dependencies between process tasks can get complex, it is easy to make mistakes in process model design, especially behavioral ones such as deadlocks. Notions such as soun...
Mauro Gambini, Marcello La Rosa, Sara Migliorini, ...
IV
2008
IEEE
112views Visualization» more  IV 2008»
16 years 29 days ago
Directions for Methodological Research in Information Visualization
—People within and outside the information visualization community are motivated to create new tools to address their own unique problems of understanding data. However, the tec...
Brock Craft, Paul A. Cairns
ECBS
2011
IEEE
271views Hardware» more  ECBS 2011»
14 years 6 months ago
MoPED: A Model-Based Provisioning Engine for Dependability in Component-Based Distributed Real-Time Embedded Systems
—Developing dependable distributed real-time and embedded (DRE) systems incurs significant complexities in the tradeoffs resulting from the different conflicting attributes of ...
Sumant Tambe, Akshay Dabholkar, Aniruddha S. Gokha...
EMSOFT
2011
Springer
14 years 6 months ago
Model-checking behavioral programs
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
David Harel, Robby Lampert, Assaf Marron, Gera Wei...
WSC
2008
15 years 9 months ago
A simulation template for modeling tunnel shaft construction
This paper presents the design and development of a template for analyzing shaft construction projects. It is suitable for integration with the existing Tunneling template of the ...
Fangyi Zhou, Simaan M. AbouRizk, Siri Fernando