Sciweavers

3782 search results - page 427 / 757
» Engineering Social Order
Sort
View
COMPUTER
2004
79views more  COMPUTER 2004»
15 years 6 months ago
Extending the Reach of Business Processes
partners are abstracted as Web services, we have introduced additional constructs to represent human users and define human interaction patterns. Each business process defined in o...
Dipanjan Chakraborty, Hui Lei
CERA
2002
134views more  CERA 2002»
15 years 6 months ago
Design Parameterization for Concurrent Design and Manufacturing of Mechanical Systems
Design changes are frequently encountered in the product development process. The complexity of the design changes is multiplied when the product design involves multiple engineer...
Javier Silva, Kuang-Hua Chang
KBSE
2010
IEEE
15 years 5 months ago
Solving string constraints lazily
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
Pieter Hooimeijer, Westley Weimer
VIS
2004
IEEE
93views Visualization» more  VIS 2004»
16 years 8 months ago
Investigating Swirl and Tumble Flow with a Comparison of Visualization Techniques
We investigate two important, common fluid flow patterns from computational fluid dynamics (CFD) simulations, namely, swirl and tumble motion typical of automotive engines. We stu...
Robert S. Laramee, Daniel Weiskopf, Jürgen Sc...
ICSE
2008
IEEE-ACM
16 years 7 months ago
jPredictor: a predictive runtime analysis tool for java
JPREDICTOR is a tool for detecting concurrency errors in JAVA programs. The JAVA program is instrumented to emit property-relevant events at runtime and then executed. The resulti...
Feng Chen, Traian-Florin Serbanuta, Grigore Rosu