1353 search results - page 209 / 271 » Streamlined Constraint Reasoning |
232
click to vote
POPL
2005
ACM
16 years 1 months ago
2005
ACM
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...
112
click to vote
ICSE
2004
IEEE-ACM
16 years 1 months ago
2004
IEEE-ACM
Distributed applications must often consider and select the appropriate trade-offs among three important aspects ? fault-tolerance, performance and resources. We introduce a novel ...
126
click to vote
ICSE
2007
IEEE-ACM
16 years 1 months ago
2007
IEEE-ACM
Synthesis of behaviour models from software development artifacts such as scenario-based descriptions or requirements specifications not only helps significantly reduce the effort...
118
click to vote
ICFP
2006
ACM
16 years 1 months ago
2006
ACM
We describe an s-expression based syntax-extension framework much like Scheme macros, with a key additional facility: the ability to define static semantics, such as type systems ...
ICWS
2009
IEEE
15 years 10 months ago
2009
IEEE
Accurate estimation of quality of online services is both an important and difficult problem, since a service has many interdependent quality attributes influenced by several co...