1636 search results - page 136 / 328 » Reasoning About Quantum Systems |
158
click to vote
ASE
2008
15 years 6 months ago
2008
Goal-oriented methods are increasingly popular for elaborating software requirements. They offer systematic support for incrementally building intentional, structural, and operati...
161
click to vote
HUC
2010
Springer
15 years 4 months ago
2010
Springer
Even though the coordination of kids’ activities is largely successful, the modern dual income family still regularly experiences breakdowns in their practices. Families often r...
168
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
This paper argues for evaluating the impact of persuasive systems on users beyond metrics that focus on system usage, based on an interview study of 16 Wii Fit users. While explor...
174
click to vote
PPOPP
2009
ACM
16 years 1 months ago
2009
ACM
Abstract. Transactional memory (TM) promises to simplify construction of parallel applications by allowing programmers to reason about interactions between concurrently executing c...
153
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
—A variety of partial modeling formalisms, aimed re and reason about abstractions, have been proposed. Some, e.g., Kripke Modal Transition Systems (KMTSs) put strong restrictions...