2392 search results - page 327 / 479 » informs 2000 |
IEEEPACT
2007
IEEE
14 years 4 months ago
2007
IEEE
The allocation of lock objects to critical sections in concurrent programs affects both performance and correctness. Recent work explores automatic lock allocation, aiming primari...
ICMCS
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper proposes a content-aware authentication scheme optimized to account for distortion and overhead for media streaming. When authenticated media is streamed over a lossy n...
ELPUB
2006
ACM
14 years 4 months ago
2006
ACM
A text parsing component designed to be part of a system that assists students in academic reading an writing is presented. The parser can automatically add a relational discourse...
HSNMC
2004
Springer
14 years 3 months ago
2004
Springer
Fourth generation mobile networks will allow end-users to roam over different network technologies, such as UMTS, CDMA2000 and Wi-Fi. These mobile networks make it possible to dete...
LATIN
2004
Springer
14 years 3 months ago
2004
Springer
The paper settles a long standing problem for Mazurkiewicz traces: the pure future local temporal logic defined with the basic modalities exists-next and until is expressively com...