3192 search results - page 259 / 639 » A Requirements-Driven Development Methodology |
151
click to vote
HYBRID
2007
Springer
16 years 24 days ago
2007
Springer
In this paper we propose a new technique for verification by simulation of continuous and hybrid dynamical systems with uncertain initial conditions. We provide an algorithmic met...
154
click to vote
ICLP
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Action description languages, such as A and B [6], are expressive instruments introduced for formalizing planning domains and problems. The paper starts by proposing a me...
134
click to vote
ICDM
2006
IEEE
16 years 20 days ago
2006
IEEE
We describe a large-scale application of methods for finding plagiarism and self-plagiarism in research document collections. The methods are applied to a collection of 284,834 d...
161
click to vote
INTERSENSE
2006
ACM
16 years 18 days ago
2006
ACM
— Sensor networks have received wide attention in recent years for their revolutionary impact in numerous fields. To harness their full potential, researchers are beginning to b...
163
click to vote
COMPSAC
2005
IEEE
16 years 7 days ago
2005
IEEE
SLABS is a formal specification language designed for modular and composable specification of multi-agent systems. This paper reports our attempts to support SLABS at the level ...