6201 search results - page 858 / 1241 » Implementation of Axiomatic Language |
138
click to vote
ITCC
2003
IEEE
16 years 4 days ago
2003
IEEE
This paper discusses the architecture and implementation of dynamic web-based surveys with an emphasis on the recently completed Survey2001 project. Survey2001 was made available ...
170
click to vote
LAWEB
2003
IEEE
16 years 4 days ago
2003
IEEE
CSCL software tools must provide support for group work and should be based on a collaborative learning technique. The PBL based CCCuento tool is introduced here. It is intended t...
172
click to vote
STEP
2003
IEEE
16 years 4 days ago
2003
IEEE
Many software applications produced today have a component, of lesser or greater importance to the structure, that is based on database management systems. What is more, this infor...
175
click to vote
APLAS
2003
ACM
16 years 3 days ago
2003
ACM
This paper studies the problem of resource availability in the context of mobile code for embedded systems such as smart cards. It presents an architecture dedicated to controlling...
193
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...