19979 search results - page 232 / 3996 » Decision support systems |
170
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
Interpretation and audit of financial information is a significant undertaking that must rest on a fuller understanding of the firm and its operations. A pictorial representation ...
214
click to vote
LPAR
2005
Springer
16 years 21 days ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...
167
click to vote
CMG
2000
15 years 8 months ago
2000
Responsiveness and scalability are important quality-of-service attributes for Web applications. Web sites that are slow, either because of poor responsiveness or lack of scalabil...
207
click to vote
JTRES
2010
ACM
15 years 7 months ago
2010
ACM
With traditional testing, the test case has no control over non-deterministic scheduling decisions, and thus errors dependent on scheduling are only found by pure chance. Java Pat...
293
click to vote
CLIMA
2011
14 years 7 months ago
2011
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...