5832 search results - page 856 / 1167 » Software complexity and maintainability |
175
click to vote
EUROPAR
2007
Springer
16 years 27 days ago
2007
Springer
Computer systems are increasingly parallel and heterogeneous, while programs are still largely written in sequential languages. The obvious suggestion that the compiler should auto...
165
click to vote
FMCO
2007
Springer
16 years 27 days ago
2007
Springer
As Internet applications become larger and more complex, the task of managing them becomes overwhelming. “Abnormal” events such as software updates, failures, attacks, and hots...
210
click to vote
FOSSACS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
178
click to vote
FOSSACS
2007
Springer
16 years 27 days ago
2007
Springer
We study the complexity of satisfiability for the expressive extension ICPDL of PDL (Propositional Dynamic Logic), which admits intersection and converse as program operations. Ou...
193
click to vote
ICFEM
2007
Springer
16 years 27 days ago
2007
Springer
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...