828 search results - page 36 / 166 » A programming model for active documents |
ECOOPW
1999
Springer
13 years 12 months ago
1999
Springer
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...
MIDDLEWARE
2001
Springer
14 years 4 days ago
2001
Springer
Although it has long been realised that ACID transactions by themselves are not adequate for structuring long-lived applications and much research work has been done on developing...
ANOR
2011
13 years 2 months ago
2011
Abstract. Scheduling problems in the forest industry have received significant attention in the recent years and have contributed many challenging applications for optimization te...
WWW
2005
ACM
14 years 8 months ago
2005
ACM
We present an approach in which the semantics of an XML language is defined by means of a transformation from an XML document model (an XML schema) to an application specific mode...
UM
2007
Springer
14 years 1 months ago
2007
Springer
Active participation of a person in a community is a powerful indicator of the person's interests, preferences, beliefs and (often) social and demographic context. Community m...