7452 search results - page 1161 / 1491 » A Semantics for Multiprocessor Systems |
162
click to vote
ECOOP
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. In aspect-oriented programming, pointcuts are used to describe crossstructure. Pointcuts that abstract over irrelevant implementation details are clearly desired to bette...
164
click to vote
ICTCS
2005
Springer
16 years 8 days ago
2005
Springer
In the design of type systems for XML programming languages based on regular expression types and patterns the focus has been over result analysis, with the main aim of statically ...
189
click to vote
LPAR
2005
Springer
16 years 7 days ago
2005
Springer
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
120
click to vote
MKM
2005
Springer
16 years 7 days ago
2005
Springer
In mathematical textbooks matrices are often represented as objects of indefinite size containing abbreviations. To make the knowledge implicitly given in these representations av...
159
click to vote
POLICY
2005
Springer
16 years 7 days ago
2005
Springer
The use of policy-based mechanisms significantly reduces the complexity associated with applicational development and operation. In particular, history-based policies allow the s...