878 search results - page 115 / 176 » Teaching software engineering through game design |
FOSSACS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We study the semantic meaning of block structure using game semantics and introduce the notion of block-innocent strategies, which turns out to characterise call-by-value...
116
click to vote
MIDDLEWARE
2004
Springer
15 years 5 months ago
2004
Springer
This work presents a detailed analysis of the security requirements for Service Oriented Architecture in mobile computing, still missing in the current literature. The purpose of ...
108
click to vote
MIDDLEWARE
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we argue for middleware languages that aid in service composition. We outline where such languages could be useful through the description of our current architectur...
101
click to vote
KBSE
2003
IEEE
15 years 5 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
101
click to vote
ARCS
2006
Springer
15 years 3 months ago
2006
Springer
Early energy estimation is increasingly important in MultiProcessor System-On-Chip (MPSoC) design. Applying traditional approaches, which consist in delaying the estimation until t...