12766 search results - page 2295 / 2554 » collective |
200
Voted
EMSOFT
2003
Springer
15 years 12 months ago
2003
Springer
We present a formalism for specifying component interfaces that expose component requirements on limited resources. The formalism permits an algorithmic check if two or more compon...
200
Voted
EPIA
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. This paper describes jcc, an integration of the timed default concurrent constraint programming framework [16] (Timed Default cc) into JAVA [7]. jcc is intended for use i...
164
click to vote
EUROPAR
2003
Springer
15 years 12 months ago
2003
Springer
The advent of high-performance networks in conjunction with low-cost, powerful computational engines has made possible the development of a new set of technologies termed computat...
211
click to vote
FMCO
2003
Springer
15 years 12 months ago
2003
Springer
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative explanations. We propose a new specification language fo...
176
click to vote
FOSSACS
2003
Springer
15 years 12 months ago
2003
Springer
Genericity is the idea that the same program can work at many different data types. Longo, Milstead and Soloviev proposed to capture the inability of generic programs to probe th...