3527 search results - page 348 / 706 » Test Automation in Practice |
138
click to vote
CADE
2002
Springer
16 years 5 months ago
2002
Springer
The classical NP-complete problem of Boolean Satisfiability (SAT) has seen much interest in not just the theoretical computer science community, but also in areas where practical s...
135
click to vote
ICAIL
2009
ACM
15 years 11 months ago
2009
ACM
Throughout its history, AI researchers have alternatively seen their mission as producing computer behavior that is indistinguishable from that of humans or as providing computati...
128
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...
124
click to vote
SECURWARE
2007
IEEE
15 years 11 months ago
2007
IEEE
— Digital Ecosystems is the new paradigm for dynamic IT business integration. A Digital Ecosystem consists of institutions that compete, collaborate, and form stable or unstable ...
175
click to vote
SRDS
2007
IEEE
15 years 11 months ago
2007
IEEE
We are witnessing a revival of Storage Service Providers in the form of new vendors as well as traditional players. While storage outsourcing is cost-effective, many companies are...