5377 search results - page 732 / 1076 » Programming Languages For Interactive Computing |
124
click to vote
FOSSACS
2010
Springer
15 years 11 months ago
2010
Springer
For many application-level distributed protocols and parallel algorithms, the set of participants, the number of messages or the interaction structure are only known at run-time. T...
134
click to vote
CONCUR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
137
click to vote
DIS
2007
Springer
15 years 11 months ago
2007
Springer
We present an interactive discovery support system, which for a given starting concept of interest, discovers new, potentially meaningful relations with other concepts that have no...
123
click to vote
VL
2005
IEEE
15 years 10 months ago
2005
IEEE
We present a semi-automatic debugger for spreadsheet systems that is specifically targeted at end-user programmers. Users can report expected values for cells that yield incorrec...
136
click to vote
VISUAL
1999
Springer
15 years 9 months ago
1999
Springer
In this paper we propose a new General Image DataBase (GIDB) model. The model establishes taxonomy based on the systematisation of existing approaches. The GIDB model is based on t...