2231 search results - page 293 / 447 » Alternation as a programming paradigm |
189
click to vote
COORDINATION
2007
Springer
16 years 28 days ago
2007
Springer
We present a generalized committed choice construct for concurrent programs that interact with a shared store. The generalized committed choice (GCC) allows multiple computations ...
178
click to vote
FOSSACS
2007
Springer
16 years 28 days ago
2007
Springer
We study the complexity of satisfiability for the expressive extension ICPDL of PDL (Propositional Dynamic Logic), which admits intersection and converse as program operations. Ou...
150
click to vote
TRUSTBUS
2007
Springer
16 years 26 days ago
2007
Springer
The forthcoming ISO/IEC 24727 series of standards defines application programming interfaces for smart cards and is expected to provide a major contribution to the global interope...
164
click to vote
DATE
2006
IEEE
16 years 25 days ago
2006
IEEE
The allocation of device variables on I/O registers affects the code size and performance of an I/O device driver. This work seeks the allocation with the minimal software or hard...
241
click to vote
GLOBECOM
2006
IEEE
16 years 24 days ago
2006
IEEE
— A non-parametric, low-complexity algorithm for accurate and simultaneous localization of multiple sensors from scarce and imperfect ranging information is proposed. The techniq...