2858 search results - page 504 / 572 » Logics with Aggregate Operators |
158
Voted
MIDDLEWARE
2004
Springer
15 years 11 months ago
2004
Springer
In order for middleware systems to be adaptive, their properties and services need to support a wide variety of application-specific policies. However, application developers and ...
174
Voted
PPDP
2004
Springer
15 years 11 months ago
2004
Springer
We present a generalisation of first-order rewriting which allows us to deal with terms involving binding operations in an elegant and practical way. We use a nominal approach to...
169
Voted
PDP
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—Load balancing algorithms are an essential component of parallel computing reducing the response time of applications. Frequently, balancing algorithms have a centralize...
171
Voted
CODES
2003
IEEE
15 years 11 months ago
2003
IEEE
NAND flash memory has become an indispensable component in mobile embedded systems because of its versatile features such as non-volatility, solid-state reliability, low cost and ...
162
Voted
LICS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper reports on and discusses three notions of approximation for Labelled Markov Processes that have been developed last year. The three schemes are improvements over former...