12766 search results - page 2295 / 2554 » collective |
222
click to vote
EMSOFT
2003
Springer
16 years 15 days 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...
221
click to vote
EPIA
2003
Springer
16 years 15 days 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...
180
click to vote
EUROPAR
2003
Springer
16 years 15 days 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...
234
click to vote
FMCO
2003
Springer
16 years 15 days 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...
196
click to vote
FOSSACS
2003
Springer
16 years 15 days 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...