1676 search results - page 63 / 336 » Formal System Development with KIV |
139
click to vote
CODES
2001
IEEE
15 years 7 months ago
2001
IEEE
This paper addresses the problem of estimating cost and development effort of a system, starting from its complete or partial high-level description. In addition, some modificatio...
129
click to vote
AAMAS
2004
Springer
15 years 4 months ago
2004
Springer
Our goal in this paper is to introduce and motivate a methodology, called Tropos,1 for building agent oriented software systems. Tropos is based on two key ideas. First, the notion...
156
click to vote
FORMATS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Probabilistic timed automata are an extension of timed automata with discrete probability distributions. Simulation and bisimulation relations are widely-studied in the c...
126
Voted
EDOC
2007
IEEE
15 years 10 months ago
2007
IEEE
The increasing complexity of modern Information Services (IS) makes necessary to carry on review activities. For many companies, these reviews take place within the framework of t...
122
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper presents a multi-vehicle platform and framework for robotics education and research. The system is designed as an educational tool for introducing children to engine...