1411 search results - page 228 / 283 » Interactive Coding for Interactive Proofs |
MMM
2003
Springer
15 years 3 months ago
2003
Springer
Virtual Worlds are computer-hosted visual environments that create the effect of an interactive three-dimensional world in which objects have a sense of spatial and physical prese...
SAINT
2003
IEEE
15 years 3 months ago
2003
IEEE
Before Feature Reduction System (FRS) was developed, software engineers were required to use multiple independent web-based information-reporting systems when conducting multiple ...
GPCE
2009
Springer
15 years 2 months ago
2009
Springer
Dynamic aspect-oriented programming (AOP) enables runtime adaptation of aspects, which is important for building sophisticated, aspect-based software engineering tools, such as ad...
SAIG
2001
Springer
15 years 2 months ago
2001
Springer
Most foundational models for global computing have focused on the spatial dimension of computations, however global computing requires also new ways of thinking about the temporal ...
AUIC
2000
IEEE
15 years 2 months ago
2000
IEEE
Electronic Blocks are a new programming interface, designed for children aged between three and eight years. The Electronic Blocks programming environment includes sensor blocks, ...