27756 search results - page 593 / 5552 » Process Query Systems |
168
click to vote
CAV
2008
Springer
15 years 9 months ago
2008
Springer
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...
165
click to vote
PDPTA
2003
15 years 8 months ago
2003
In this paper, precedence constraint combination formalisms defined in the software domain are used to define the behavior of hardware systems. Specifically, AND-join and various ...
169
click to vote
IFIP
2000
Springer
15 years 10 months ago
2000
Springer
Many researchers have searched for evidence of organizational improvements from the huge sums invested in ICT. Unfortunately, evidence for such a pay back is spotty at best (e.g.,...
178
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
For motion estimation (ME) and discrete cosine transform (DCT) of MPEG video encoding, content variation and perceptual tolerance in video signals can be exploited to gracefully t...
200
click to vote
ITNG
2006
IEEE
16 years 1 months ago
2006
IEEE
Web services are key applications in business-to-business, business-to-customer, and enterprise applications integration solutions. As the mobile Internet becomes one of the main ...