10890 search results - page 1704 / 2178 » Automatic Complexity Analysis |
159
click to vote
SIGMOD
2010
ACM
15 years 11 months ago
2010
ACM
Spreadsheets are among the most commonly used applications for data management and analysis. Perhaps they are even among the most widely used computer applications of all kinds. H...
174
click to vote
SPIN
2001
Springer
15 years 11 months ago
2001
Springer
ions Using SPIN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 Marsha Chechik, Benet Devereux, Arie Gurfinkel (University of Toronto) Imp...
178
click to vote
ISSRE
2000
IEEE
15 years 11 months ago
2000
IEEE
Automated generation of test cases is a prerequisite for fast testing. Whereas the research has addressed the creation of individual test points, test trajectoiy generation has at...
194
click to vote
AGENTS
2000
Springer
15 years 11 months ago
2000
Springer
Multi-agent teamwork is critical in a large number of agent applications, including training, education, virtual enterprises and collective robotics. Tools that can help humans an...
214
click to vote
DDEP
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Our component-based parametrisable font system is a newly developed font description and reproduction technology. It incorporates for each basic character shape a softwar...