5088 search results - page 300 / 1018 » Rich Internet Applications |
162
click to vote
CIE
2007
Springer
16 years 27 days ago
2007
Springer
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
172
click to vote
CSEE
2007
Springer
16 years 27 days ago
2007
Springer
This report illustrates the use of qualitative methods and an interpretive framework (Cultural Historical Activity Theory) to examine educational interventions. The techniques are...
173
click to vote
ECSA
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. The conceptual modelling of software architectures is of central importance for the quality of a software system. A rich modelling language is required to integrate the d...
145
click to vote
HPCC
2007
Springer
16 years 27 days ago
2007
Springer
This paper introduces Netgauge, an extensible open-source framework for implementing network benchmarks. The structure of Netstracts and explicitly separates communication patterns...
172
click to vote
ICLP
2007
Springer
16 years 26 days ago
2007
Springer
Abstract In this doctoral work we aim at developing a rich timed concurrent constraint (tcc) based language with strong ties to logic. The new calculus called Universal Timed Concu...