Sciweavers

3284 search results - page 178 / 657
» On the modularity of feature interactions
Sort
View
TVCG
2011
136views more  TVCG 2011»
15 years 1 months ago
Interactive Mesh Cutting Using Constrained Random Walks
—This paper considers the problem of interactively finding the cutting contour to extract components from an existing mesh. First, we propose a constrained random walks algorith...
Juyong Zhang, Jianmin Zheng, Jianfei Cai
ESOP
2004
Springer
15 years 12 months ago
Resources, Concurrency, and Local Reasoning (Abstract)
t) Peter W. O’Hearn Queen Mary, University of London In the 1960s Dijkstra suggested that, in order to limit the complexity of potential process interactions, concurrent programs...
Peter W. O'Hearn
CHI
2009
ACM
15 years 10 months ago
Comparing emotions using acoustics and human perceptual dimensions
Understanding the difference between emotions based on acoustic features is important for computer recognition and classification of emotions. We conducted a study of human percep...
Keshi Dai, Harriet J. Fell, Joel MacAuslan
PODS
2006
ACM
122views Database» more  PODS 2006»
16 years 6 months ago
Verification of communicating data-driven web services
We study the verification of compositions of Web Service peers which interact asynchronously by exchanging messages. Each peer has access to a local database and reacts to user in...
Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou
ICSE
2003
IEEE-ACM
16 years 6 months ago
A Compositional Formalization of Connector Wrappers
Increasingly systems are composed of parts: software components, and the interaction mechanisms (connectors) that enable them to communicate. When assembling systems from independ...
Bridget Spitznagel, David Garlan