889 search results - page 37 / 178 » General Conclusions |
CP
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. In this paper, we investigate how an IA network can be effectively encoded into the SAT domain. We propose two basic approaches to modelling an IA network as a CSP: one r...
97
Voted
CIA
2000
Springer
15 years 1 months ago
2000
Springer
In the near future, billions of entities will be connected to each other through the Internet. The current trend is that an increasingly number of entities, from smart personal dev...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
Research on formulae production in spreadsheets has established the practice as high risk yet unrecognised as such by industry. There are numerous software applications that are d...
84
Voted
AAMAS
2002
Springer
14 years 10 months ago
2002
Springer
Abstract. Open systems are becoming increasingly important in a variety of distributed, networked computer applications. Their characteristics, such as agent diversity, heterogenei...
112
Voted
ICST
2009
IEEE
14 years 8 months ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...