1411 search results - page 259 / 283 » Interactive Coding for Interactive Proofs |
DEXA
1999
Springer
15 years 3 months ago
1999
Springer
: In an extensible database system, evaluation of a query plan is done in cooperation between a collection of operator implementation functions and a component of the DBMS that we ...
103
click to vote
ECOOPW
1997
Springer
15 years 3 months ago
1997
Springer
The traditional workflow process model is typically illustrated with a graph of activities, tasks, deliverables and techniques. From an object-oriented perspective, every identifi...
CSE
2009
IEEE
15 years 3 months ago
2009
IEEE
Abstract--Much of modern software development consists of assembling together existing software components and writing the glue code that integrates them into a unified application...
ACSC
2004
IEEE
15 years 2 months ago
2004
IEEE
Aglets is a mobile agent system that allows an agent to move with its code and execution state across the network to interact with other entities. Aglets utilizes Java RMI to supp...
141
click to vote
OOPSLA
1995
Springer
15 years 2 months ago
1995
Springer
All object-oriented languages provide support for subtype polymorphism, which allows the writing of generic code that works for families of related types. There is also a need, ho...