1860 search results - page 122 / 372 » tools 2009 |
TACAS
2009
Springer
15 years 8 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
159
click to vote
IRI
2009
IEEE
15 years 7 months ago
2009
IEEE
We propose an open and extensible agent-based formal framework for modeling and simulating supply chains. Since structures and behaviors of supply chains can be very different bas...
123
click to vote
DGO
2009
15 years 2 months ago
2009
This paper addresses challenges to resource managers' use of scientific research, and reports strategies and informatics tools to ameliorate those challenges. Our work involv...
CHI
2009
ACM
16 years 1 months ago
2009
ACM
An increasingly large number of users connect to virtual worlds on a regular basis to conduct activities ranging from gaming to business meetings. In all these worlds, users proje...
104
click to vote
SAS
2009
Springer
16 years 1 months ago
2009
Springer
JavaScript is the main scripting language for Web browsers, and it is essential to modern Web applications. Programmers have started using it for writing complex applications, but ...