7961 search results - page 1211 / 1593 » Input-Output Model Programs |
143
click to vote
FMCO
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
138
click to vote
GPCE
2004
Springer
15 years 10 months ago
2004
Springer
This paper describes our experience with developing a product line for middleware-based versioning systems. We perform a detailed domain analysis and define a DSL for configuring i...
147
click to vote
ICALP
2004
Springer
15 years 10 months ago
2004
Springer
We consider the problem of learning a labeled graph from a given family of graphs on n vertices in a model where the only allowed operation is to query whether a set of vertices i...
127
Voted
ICALP
2004
Springer
15 years 10 months ago
2004
Springer
In the information age, the availability of data on consumer profiles has opened new possibilities for companies to increase their revenue via data mining techniques. One approach...
117
click to vote
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
We formally specify a payment protocol described in [Vogt et al., 2001]. This protocol is intended for fair exchange of time-sensitive data. Here the µCRL language is used to form...