8196 search results - page 1273 / 1640 » Computational Modeling and Complexity Science |
147
click to vote
LICS
2008
IEEE
16 years 15 days ago
2008
IEEE
We study the classes of B¨uchi and Rabin automatic structures. For B¨uchi (Rabin) automatic structures their domains consist of infinite strings (trees), and the basic relation...
169
click to vote
LICS
2008
IEEE
16 years 15 days ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
199
Voted
ICDS
2007
IEEE
16 years 13 days ago
2007
IEEE
In this article we investigate the effects of increased Control Packet lead Time (CPT) on the loss probability of bursts in an OBS network with deflection routing. In particular w...
180
click to vote
LICS
2007
IEEE
16 years 12 days ago
2007
IEEE
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
153
click to vote
SCCC
2007
IEEE
16 years 12 days ago
2007
IEEE
There is no doubt about the increase in popularity of decentralised systems over the classical client-server architecture in distributed applications. These systems are developed ...