5228 search results - page 653 / 1046 » Case Studies for Software Engineers |
183
click to vote
CSSE
2008
IEEE
15 years 7 months ago
2008
IEEE
Along with the variation of the market circumstance the automotive industry has to be confronted with various challenges. In order to satisfy the customers' requirement of Imp...
253
click to vote
USAB
2010
15 years 5 months ago
2010
Abstract. The ability to move is an important characteristic of the human condition and an important aspect for interactive settings. The role of body movement however was not addr...
165
click to vote
FSTTCS
2010
Springer
15 years 5 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...
219
click to vote
FSTTCS
2010
Springer
15 years 5 months ago
2010
Springer
ionally Sound Abstraction and Verification of Secure Multi-Party Computations Michael Backes Saarland University MPI-SWS Matteo Maffei Saarland University Esfandiar Mohammadi Saarl...
233
click to vote
ICSEA
2009
IEEE
15 years 4 months ago
2009
IEEE
-- Published work in the IT services area is generally centered on the description of management best practices or specific technological issues. There is a lack of empirical studi...