16216 search results - page 31 / 3244 » Effective Modeling with Constraints |
127
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
169
click to vote
CIKM
2010
Springer
15 years 1 months ago
2010
Springer
Schema merging is the process of consolidating multiple schemas into a unified view. The task becomes particularly challenging when the schemas are highly heterogeneous and autono...
140
click to vote
ELPUB
2006
ACM
2006
ACM
What are the Prospects for Publishing Online Scholarly Journals in Malaysia? The Cultural Constraint
15 years 10 months ago
Most of the studies conducted on future business models for electronic scholarly publishing have concentrated on the major publishing areas of North America and Western Europe, an...
146
click to vote
IPPS
2005
IEEE
15 years 9 months ago
2005
IEEE
Sparse and irregular computations constitute a large fraction of applications in the data-intensive scientific domain. While every effort is made to balance the computational wor...
168
click to vote
SMA
2003
ACM
15 years 9 months ago
2003
ACM
Soft tissue deformation based on tensegric modeling is proposed. This modeling is especially applicable for human females to reform/alter their body shape using tailor-made underg...