4258 search results - page 676 / 852 » Languages and Interactive Software Development |
186
click to vote
RISE
2004
Springer
16 years 6 days 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...
202
click to vote
ICDCS
2003
IEEE
16 years 4 days 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...
152
click to vote
WORDS
2003
IEEE
16 years 4 days 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...
194
click to vote
ERLANG
2003
ACM
16 years 3 days 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...
175
click to vote
AINA
2009
IEEE
15 years 12 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...