2041 search results - page 223 / 409 » Balance Machines: Computing = Balancing |
159
click to vote
FMSD
2008
15 years 5 months ago
2008
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...
155
click to vote
ENTCS
2006
15 years 5 months ago
2006
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding th...
140
click to vote
MSS
2008
IEEE
15 years 5 months ago
2008
IEEE
This paper analyzes a two-alternative voting model with the distinctive feature that voters have preferences over the support that each alternative receives, and not only over the...
163
click to vote
AIL
2004
15 years 5 months ago
2004
Software agents that play a role in E-commerce and E-government applications involving the Internet often contain information about the identity of their human user such as credit ...
126
click to vote
JSS
2007
15 years 5 months ago
2007
Objective: Comparison of program defects caused by programmer pairs and solo developers. Design: Analysis of programs developed during two counter balanced experiments. Setting: P...