741 search results - page 103 / 149 » Testing in the year 2020 |
124
click to vote
COOP
2004
15 years 2 months ago
2004
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
124
click to vote
DAGSTUHL
2004
15 years 2 months ago
2004
In the last years we have developed a platform for the realization of embodied (conversational) agents, in a distributed logic programming framework. In this paper we will present...
111
click to vote
DGO
2004
15 years 2 months ago
2004
This demonstration will be presented at the 2004 National Conference on Digital Government Research. The third year results of the project "Digitalization of Coastal Manageme...
122
click to vote
DMIN
2006
15 years 2 months ago
2006
- In this paper we propose a new methodology for Cost-Benefit analysis in a multiple time series prediction problem. The proposed model is evaluated in a real world application bas...
ICIS
2004
15 years 2 months ago
2004
This paper examines the relationship between information technology and product variety. Consistent with prior theoretical work, we argue that IT and product variety are complemen...