2740 search results - page 92 / 548 » A Model-Based Approach To Requirements Analysis |
CIMCA
2005
IEEE
13 years 11 months ago
2005
IEEE
This paper describes the research and development of a methodology to identify the type of information required by the service advisor (CSA) within customer contact centre (CCC) e...
VOSS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The paper presents a survey of out-of-core methods available for the analysis of large Markov chains on single workstations. First, we discuss the main sparse matrix stor...
IJFCS
2008
13 years 9 months ago
2008
Abstract. We present an approach to verification of parameterized systems, which is based on program transformation technique known as supercompilation. In this approach the statem...
BLISS
2008
IEEE
14 years 3 months ago
2008
IEEE
Counting (identical) objects in images is a simple yet fundamental recognition task that requires exhaustive human effort. Automation of this task would reduce the human load sign...
ICRA
2008
IEEE
14 years 3 months ago
2008
IEEE
— In this paper, we present a scalable, decentralized task allocation algorithm for a group of unknown number of Unmanned Aerial Vehicles (UAVs), which are equipped with GPS rece...