985 search results - page 82 / 197 » Abstract Interactions and Interaction Refinement in Model-Dr... |
230
Voted
POPL
2002
ACM
16 years 4 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...
143
Voted
MMAS
2004
Springer
15 years 9 months ago
2004
Springer
Interactive multi-agent system improves reusability of agents by separating application design from agent design. However, it remains difficult for application designers (usually n...
118
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: Aligning homologous non-coding RNAs (ncRNAs) correctly in terms of sequence and structure is an unresolved problem, due to both mathematical complexity and imperfect s...
141
Voted
DAC
1994
ACM
15 years 7 months ago
1994
ACM
Current asynchronous tools are focussed mainly on the design of a single interface module. In many applications, one must design interacting interface modules that potentially comm...
127
Voted
SIGCSE
2002
ACM
15 years 3 months ago
2002
ACM
Designing a two-person game involves identifying the game model to compute the best moves, the user interface (the "view") to play the game, and the controller to coordi...