5900 search results - page 158 / 1180 » Dependable Systems |
SIGSOFT
2010
ACM
13 years 8 months ago
2010
ACM
Software systems must face two challenges today: growing complexity and increasing parallelism in the underlying computational models. The problem of increased complexity is often...
TACAS
2007
Springer
14 years 4 months ago
2007
Springer
The ad-hoc use of unions to encode disjoint sum types in C programs and the inability of C’s type system to check the safe use of these unions is a long standing source of subtle...
CLEF
2010
Springer
13 years 11 months ago
2010
Springer
In the context of the CLEF-IP 2010 classification task, we conducted a series of experiments with the Linguistic Classification System (LCS). We compared ment representations for p...
WOWMOM
1998
ACM
14 years 2 months ago
1998
ACM
This paper presents a framework for provisioning application and channel dependent quality of service in wireless networks. The framework is based on three di erent adaptation mec...
DCG
2008
13 years 10 months ago
2008
In this paper we prove that if two self-similar tiling systems, with respective stretching factors 1 and 2, have a common factor which is a non periodic tiling system, then 1 and 2...