3330 search results - page 268 / 666 » software 2010 |
134
Voted
WER
2010
Springer
14 years 10 months ago
2010
Springer
Feature models are commonly used to capture the commonality and the variability of product families. There are several feature model notations that correspondingly depict the conce...
108
Voted
ECSA
2010
Springer
14 years 11 months ago
2010
Springer
A key objective for ubiquitous environments is to enable system interoperability between system’s components that are highly heterogeneous. In particular, the challenge is to emb...
85
Voted
FSTTCS
2010
Springer
14 years 10 months ago
2010
Springer
Quantitative properties of timed regular languages, such as information content (growth rate, entropy) are explored. The approach suggested by the same authors is extended to lang...
137
click to vote
SERP
2010
14 years 10 months ago
2010
We propose a formal method to automatically integrate security rules regarding an access control policy (expressed in Or-BAC) in Java programs. Given an untrusted application and a...
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
Multiprocessors are now commonplace, and cloud computing is swiftly following suit. While it is possible to write high performance code for these systems, concurrency bugs are ext...