1048 search results - page 80 / 210 » Common Areas At The Heart |
102
click to vote
CONCUR
2003
Springer
15 years 5 months ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
IPPS
2002
IEEE
15 years 4 months ago
2002
IEEE
Efficient load balancing algorithms are the key to many efficient parallel applications. Until now, research in this area has mainly been focusing on homogeneous schemes. Howeve...
110
click to vote
KR
2010
Springer
15 years 4 months ago
2010
Springer
Cardinality constraints or, more generally, weight constraints are well recognized as an important extension of answer-set programming. Clearly, all common algorithmic tasks relat...
CIKM
2001
Springer
15 years 4 months ago
2001
Springer
New applications from the areas of analytical data processing and data integration require powerful features to condense and reconcile available data. As outlined in [1], the gene...
HICSS
2000
IEEE
15 years 4 months ago
2000
IEEE
It has been commonly stated how complex it is to measure the impact of Information Technology on managers' productivity. We propose to go beyond the concept of productivity i...