4258 search results - page 676 / 852 » Languages and Interactive Software Development |
133
click to vote
RISE
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
141
click to vote
ICDCS
2003
IEEE
15 years 8 months ago
2003
IEEE
Dynamic module replacement — the ability to hot swap a component’s implementation at runtime — is fundamental to supporting evolutionary change in long-lived and highlyavail...
104
click to vote
WORDS
2003
IEEE
15 years 8 months ago
2003
IEEE
Timing analysis is a crucial test for dependable hard real-time systems (DHRTS). The calculation of the worst-case execution time (WCET) is mandatory. As modern compilers are capa...
144
click to vote
ERLANG
2003
ACM
15 years 8 months ago
2003
ACM
VoDKA is a Video-on-Demand server developed using Erlang/OTP. In this paper, the evolution of the core architecture of the system, designed for improving resource modelling, is de...
125
click to vote
AINA
2009
IEEE
15 years 8 months ago
2009
IEEE
This work describes a generic database service for the lightweight Venice Service Grid, which has been developed at the University of Kaiserslautern, Germany. By using Web service...