7853 search results - page 1326 / 1571 » Learning from Each Other |
ICSE
2000
IEEE-ACM
15 years 4 months ago
2000
IEEE-ACM
Little-JIL, a language for programming coordination in processes is an executable, high-level language with a formal (yet graphical) syntax and rigorously defined operational seTh...
115
Voted
ESA
2008
Springer
15 years 2 months ago
2008
Springer
Following recent interest in the study of computer science problems in a game theoretic setting, we consider the well known bin packing problem where the items are controlled by se...
136
Voted
VMV
2001
15 years 2 months ago
2001
Shape information is utilized by numerous applications in computer vision, scientific visualization and computer graphics. This paper presents a novel algorithm for exploring and ...
92
Voted
WIESS
2000
15 years 2 months ago
2000
As IPC mechanisms become faster, stub-code efficiency becomes a performance issue for local client/server RPCs and inter-component communication. Inefficient and unnecessary compl...
93
Voted
APAL
2007
15 years 24 days ago
2007
A logic is developed in which function symbols are allowed to represent partial functions. It has the usual rules of logic (in the form of a sequent calculus) except that the subs...