1875 search results - page 190 / 375 » A Calculus of Broadcasting Systems |
121
Voted
JUCS
2008
15 years 1 months ago
2008
: The latest versions of AspectJ, the most popular aspect-oriented extension for Java, must cope with the complex changes that occurred in the Java type system, specially with thos...
102
click to vote
ISM
2005
IEEE
15 years 6 months ago
2005
IEEE
Broadcasters often reuse video clips while reporting news stories. New clips are added to the story as it develops replacing old clips. A subset of these video clips may be replay...
107
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
METAI is a generic process calculus that can be instantiated by supplying rewriting rules defining an operational semantics to make numerous process calculi such as the -calculus,...
128
Voted
PPDP
2010
Springer
14 years 11 months ago
2010
Springer
We study the type checking and type inference problems for intuitionistic linear logic: given a System F typed λ-term, (i) for an alleged linear logic type, determine whether the...
120
click to vote
SRDS
2000
IEEE
15 years 5 months ago
2000
IEEE
Obtaining good performance from a distributed replicated database that allows update transactions to originate at any site while ensuring one-copy serializability is a challenge. ...