3330 search results - page 278 / 666 » software 2010 |
ECAI
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Goals are central to the design and implementation of intelligent software agents. Much of the literature on goals and reasoning about goals only deals with a limited set...
MOBICOM
2010
ACM
15 years 1 months ago
2010
ACM
Collisions in overlapping channels are becoming an increasingly important problem in the deployment of high-speed wireless networks. In this paper, we present Remap, a simple, nov...
102
click to vote
ICFEM
2010
Springer
14 years 11 months ago
2010
Springer
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...
126
click to vote
SEKE
2010
Springer
14 years 11 months ago
2010
Springer
The technological progress designing new devices and the scientific growth in the field of Human-Computer Interaction are enabling new interaction modalities to move from resear...
101
click to vote
FSTTCS
2010
Springer
14 years 11 months ago
2010
Springer
A fundamental problem in numerical computation and computational geometry is to determine the sign of arithmetic expressions in radicals. Here we consider the simpler problem of d...