2678 search results - page 495 / 536 » Operational Semantics of Transactions |
120
click to vote
PPDP
2009
Springer
15 years 8 months ago
2009
Springer
The construction of reliable concurrent and distributed systems is an extremely difficult endeavour. For complex systems, it requires modular development strategies based on prec...
100
click to vote
SEMWEB
2009
Springer
15 years 8 months ago
2009
Springer
Traditional object-oriented programming languages can be difficult to use when working with ontologies, leading to the creation of domain-specific languages designed specifically...
127
click to vote
TLCA
2009
Springer
15 years 8 months ago
2009
Springer
Taha and Nielsen have developed a multi-stage calculus λα with a sound type system using the notion of environment classifiers. They are special identifiers, with which code fr...
104
click to vote
PPDP
2007
Springer
15 years 7 months ago
2007
Springer
Program transformation is an appealing technique which allows to improve run-time efficiency, space-consumption and more generally to optimize a given program. Essentially it con...
157
click to vote
CCECE
2006
IEEE
15 years 7 months ago
2006
IEEE
Presenting information to an e-learning environment is a challenge, mostly, because ofthe hypertextlhypermedia nature and the richness ofthe context and information provides. This...