2597 search results - page 399 / 520 » A Relational Approach to Support Software Architecture Analy... |
160
click to vote
ICSE
2007
IEEE-ACM
16 years 5 months ago
2007
IEEE-ACM
Model checkers search the space of possible program behaviors to detect errors and to demonstrate their absence. Despite major advances in reduction and optimization techniques, s...
157
click to vote
SIGCOMM
2010
ACM
15 years 5 months ago
2010
ACM
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...
147
click to vote
ACMDIS
2008
ACM
15 years 7 months ago
2008
ACM
Affective computing systems face challenges in relating objective measures with subjective human experiences. Many systems have either focused on objective measures as a substitut...
180
click to vote
PVLDB
2008
15 years 5 months ago
2008
Several real-world applications need to effectively manage and reason about large amounts of data that are inherently uncertain. For instance, pervasive computing applications mus...
223
click to vote
MATES
2010
Springer
15 years 4 months ago
2010
Springer
The construction of distributed applications is a challenging task due to inherent system properties like message passing and concurrency. Current technology trends further increas...