3775 search results - page 244 / 755 » The Expression Problem Revisited |
153
click to vote
FOSSACS
2007
Springer
15 years 11 months 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...
121
click to vote
POLICY
2007
Springer
15 years 11 months ago
2007
Springer
Typical IT Environments of medium to large size organizations consist of tens of networks that connect hundreds of servers to support the running of a large variety of business-re...
181
click to vote
ADVIS
2006
Springer
15 years 11 months ago
2006
Springer
The widespread use of XML brings out the need of ensuring the validity of XML data. The use of languages such as XML Schema makes easier the process of verification of XML documen...
166
click to vote
ACSC
2005
IEEE
15 years 10 months ago
2005
IEEE
Novel, high-throughput technologies are challenging the core of algorithmic methods available in Computer Science. Microarray technologies give Life Sciences researchers the oppor...
108
click to vote
ECOOP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Dependency injection is a hot topic among industrial developers using component frameworks. This paper first mentions that dependency injection and aspect-oriented progr...