5550 search results - page 807 / 1110 » Different Approaches to Proof Systems |
250
click to vote
IWQOS
2011
Springer
14 years 9 months ago
2011
Springer
—Quality-of-service (QoS) management often requires a continuous monitoring service to provide updated information about different hosts and network links in the managed system. ...
294
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
Despite the extensiveness of recent investigations on static typing for XML, parametric polymorphism has rarely been treated. This well-established typing discipline can also be u...
213
click to vote
GI
2005
Springer
16 years 11 days ago
2005
Springer
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...
183
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Switch-based interconnects are used in a number of application domains including parallel system interconnects, local area networks, and wide area networks. However, very few swit...
187
click to vote
SIGIR
1992
ACM
15 years 11 months ago
1992
ACM
ct tasks such as extraction of relational information from text [Young] [Jacobs]. We describe a method for classifying news stories using Alternative systems [Biebricher] [Lewis] u...