2206 search results - page 186 / 442 » Software Engineering and Modeling Education: Problems and So... |
186
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
180
click to vote
EDBTW
2006
Springer
15 years 8 months ago
2006
Springer
The information infrastructure in today's businesses consists of many interoperating autonomous systems. Changes to a single system can therefore have an unexpected impact on ...
169
click to vote
WER
2000
Springer
15 years 10 months ago
2000
Springer
Recently, it has been pointed out that the majority of the requirements engineering methods do not take into account non-functional requirements (NFRs) [10][11]. Consequently, we h...
133
click to vote
RE
2001
Springer
15 years 11 months ago
2001
Springer
Scenario is a description technique which has attracted much attention not only from practitioners but also from researchers. Literature on this topic shows the possibilities that...
174
click to vote
CSSE
2006
IEEE
15 years 6 months ago
2006
IEEE
We have been developing robotic multi-agent systems for several years according to a well defined methodology (PASSI) obtaining good results, but day by day needs of a more versati...