1115 search results - page 1 / 223 » An Abstract Look at Realizability |
CSL
2001
Springer
13 years 9 months ago
2001
Springer
act Look at Realizability Edmund Robinson and Guiseppe Rosolini Department of Computer Science Research Report No. RR-01-01 ISSN 1470-5559 March 2001
APSEC
2007
IEEE
13 years 9 months ago
2007
IEEE
This paper is concerned with compositional specification of services using UML 2 collaborations, activity and interaction diagrams. It addresses the problem of realizability: give...
ICWE
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. There are insufficient examples available of how customization is realized in multi-tenant web applications, whereas developers are looking for examples and patterns as ...
GECCO
2006
Springer
13 years 9 months ago
2006
Springer
IFIP3
2008
13 years 6 months ago
2008
Abstract. In this paper, we describe an innovative concept of threedimensional interactive educational games that combine the excitement and looks of popular computer games with th...