1757 search results - page 42 / 352 » Alternating Refinement Relations |
CHI
2002
ACM
16 years 26 days ago
2002
ACM
This two-day workshop examines the ways that on-line communities create and refine their shared resources, including both the formal and observable artifacts (documents, chats, th...
104
Voted
CF
2006
ACM
15 years 4 months ago
2006
ACM
Adaptive mesh refinement (AMR) is a powerful technique that reduces the resources necessary to solve otherwise intractable problems in computational science. The AMR strategy solv...
107
click to vote
CAV
2000
Springer
15 years 4 months ago
2000
Springer
xample-Guided Abstraction Refinement for Symbolic Model Checking EDMUND CLARKE YUAN LU Carnegie Mellon University, Pittsburgh, Pennsylvania Broadcom Co., San Jose, California ORNA ...
109
Voted
FASE
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Software models are key in separating and solving independent development concerns. However, there is still a gap on how to transition design information among these sepa...
109
click to vote
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
We investigate the properties of a multiagent system where each (distributed) agent locally perceives its environment. Upon perception of an unexpected event, each agent locally c...