2261 search results - page 357 / 453 » Modeling the Experimental Software Engineering Process |
127
click to vote
SAC
2006
ACM
15 years 3 months ago
2006
ACM
We propose a simple programming language, called Nemo, specific to the domain of multi-task real-time embedded systems, such as in robotic, automotive or avionics systems. It can ...
121
click to vote
ICST
2010
IEEE
15 years 1 months ago
2010
IEEE
— Testing of graphical user interfaces is important due to its potential to reveal faults in operation and performance of the system under consideration. Most existing test appro...
157
click to vote
SEKE
2010
Springer
15 years 1 months ago
2010
Springer
—The behavior of complex production automation systems is hard to predict, therefore simulation is used to study the likely system behavior. However, in a real-world system many ...
157
click to vote
SOCO
2010
Springer
14 years 10 months ago
2010
Springer
Decentralized partially observable Markov decision process (DEC-POMDP) is an approach to model multi-robot decision making problems under uncertainty. Since it is NEXP-complete the...
211
click to vote
FASE
2011
Springer
14 years 6 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...