117 search results - page 12 / 24 » Recombinable Game Mechanics for Automated Design Support |
110
click to vote
CAISE
2006
Springer
15 years 3 months ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...
CHI
2004
ACM
16 years 1 days ago
2004
ACM
The complexity of many problems necessitates creating and exploring multiple, alternative solutions. However, current user interfaces do not cleanly support creating alternatives ...
191
click to vote
VLDB
2007
ACM
15 years 12 months ago
2007
ACM
Snapshot isolation (SI) provides significantly improved concurrency over 2PL, allowing reads to be non-blocking. Unfortunately, it can also lead to non-serializable executions in ...
LPNMR
1999
Springer
15 years 3 months ago
1999
Springer
We introduce choice logic programs as negation-free datalog programs that allow rules to have exclusive-only (possibly empty) disjunctions in the head. Such programs naturally mod...
88
Voted
RSP
2005
IEEE
15 years 5 months ago
2005
IEEE
Modeling DSP applications through coarse-grain dataflow graphs is popular in the DSP design community, and a growing set of rapid prototyping tools support such dataflow semantics...