89222 search results - page 59 / 17845 » Which |
ESEM
2009
ACM
14 years 1 months ago
2009
ACM
This paper describes an empirical mapping study, which was designed to identify what aspects of Software Requirement Specifications (SRS) are empirically evaluated, in which conte...
SPIN
2001
Springer
14 years 1 months ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking distributed systems with several instances of t...
TACS
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. We present two modal typing systems with the approximation modality, which has been proposed by the author to capture selfreferences involved in computer programs and the...
ICTAI
2000
IEEE
14 years 1 months ago
2000
IEEE
The question addressed in this paper is which types of spatial reference human users employ in the interaction with a robot and how a cognitively adequat model of these strategies...
IPPS
2000
IEEE
14 years 1 months ago
2000
IEEE
Abstract. The standard serial algorithm for strongly connected components is based on depth rst search, which is di cult to parallelize. We describe a divide-and-conquer algorithm ...