7124 search results - page 466 / 1425 » Programming Languages and Operating Systems |
187
Voted
DEBS
2007
ACM
15 years 11 months ago
2007
ACM
Publish/subscribe (pub/sub) middleware platforms for eventbased distributed systems often provide many configurable policies that affect end-to-end quality of service (QoS). Altho...
211
Voted
ENTCS
2010
15 years 7 months ago
2010
Solutions of recursive program schemes over a given signature were characterized by Bruno Courcelle as precisely the context-free (or algebraic) -trees. These are the finite and ...
187
Voted
SEMCO
2007
IEEE
16 years 1 months ago
2007
IEEE
We describe StartMobile, a prototype system that enables users of cellular telephones and other mobile devices to access information, create information and execute commands on th...
213
click to vote
AAAI
2008
15 years 9 months ago
2008
In this article we work on certain aspects of the belief change theory in order to make them suitable for argumentation systems. This approach is based on Defeasible Logic Program...
219
click to vote
LCPC
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. A fundamental problem in the analysis of parallel programs is to determine when two statements in a program may run concurrently. This analysis is the parallel analog to ...