Sciweavers

1413 search results - page 55 / 283
» Bisimilarity of Open Terms
Sort
View
106
Voted
AAAI
2007
15 years 3 months ago
Representing and Reasoning about Commitments in Business Processes
A variety of business relationships in open settings can be understood in terms of the creation and manipulation of commitments among the participants. These include B2C and B2B c...
Nirmit Desai, Amit K. Chopra, Munindar P. Singh
SIGSOFT
2010
ACM
14 years 10 months ago
Validity concerns in software engineering research
Empirical studies that use software repository artifacts have become popular in the last decade due to the ready availability of open source project archives. In this paper, we su...
Hyrum K. Wright, Miryung Kim, Dewayne E. Perry
78
Voted
ICIP
2006
IEEE
16 years 2 months ago
Variational Level-Set Reconstruction of Accretionary Morphogenesis from Images
This paper copes with the reconstruction of accretionary morphogenesis within a given observation plane from an image depicting successive (typically seasonal or daily) growth str...
Abdessalam Benzinou, Anatole Chessel, Fréd&...
96
Voted
MCSS
2008
Springer
15 years 22 days ago
Robust boundary control of systems of conservation laws
The stability problem of a system of conservation laws perturbed by non-homogeneous terms is investigated. These non-homogeneous terms are assumed to have a small C1 -norm. By a Ri...
Christophe Prieur, Joseph J. Winkin, Georges Basti...
92
Voted
IMSCCS
2007
IEEE
15 years 7 months ago
TOPSAW Sawing Optimization Analysis Using Grid Computing
TOPSAW program was developed by Dr. S. Chang and his team and has been successfully used in the replication of sawmill cutting to determine the optimal cutting pattern for a log t...
Ashwin Bommathanahalli, Maoyuan Xie, Zhifeng Yun, ...