2206 search results - page 185 / 442 » Software Engineering and Modeling Education: Problems and So... |
147
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
We study the alternating-time temporal logics ATL and ATL extended with strategy contexts: these make agents commit to their strategies during the evaluation of formulas, contrary...
178
click to vote
DATE
2006
IEEE
16 years 16 days ago
2006
IEEE
This paper proposes a novel HW/SW co-simulation approach that minimizes the impact on software designers. We propose a SystemC-based system that enables the software team to test ...
220
click to vote
SIGIR
2012
ACM
13 years 9 months ago
2012
ACM
We propose a mathematical framework for query selection as a mechanism for reducing the cost of constructing information retrieval test collections. In particular, our mathematica...
149
click to vote
ICRA
2007
IEEE
16 years 24 days 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...
151
click to vote
APSEC
2003
IEEE
15 years 10 months ago
2003
IEEE
Using the language Z for more than specification is hindered by the fact that its algebra of schemas is not monotonic with respect to refinement; so specification is modular, but ...