10396 search results - page 233 / 2080 » Deployment Support Network |
198
click to vote
INFOCOM
2002
IEEE
15 years 10 months ago
2002
IEEE
Abstract—Scalable reliable multicast protocols have been a focus of recent research, tackling the problem of efficient reliable data delivery to an arbitrarily large number of r...
167
click to vote
HASE
2007
IEEE
15 years 9 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
154
click to vote
APN
2004
Springer
15 years 9 months ago
2004
Springer
This paper describes concepts and features of a Web-based system called XRL/flower for carrying out Petri-net based workflows described with XRL (eXchangeable Routing Language). XR...
149
click to vote
LREC
2010
15 years 6 months ago
2010
Corpora of sentences annotated with grammatical information have been deployed by extending the basic lexical and morphological data with increasingly complex information, such as...
157
click to vote
SWAP
2008
15 years 6 months ago
2008
SPCoop is a nationwide framework for supporting service interoperability in the exercise and application of Italian government policies. The very core of this framework lies in the...