10707 search results - page 401 / 2142 » Designing executable abstractions |
141
click to vote
ICDT
2005
ACM
15 years 10 months ago
2005
ACM
Abstract. We survey work on statically type checking XML transformations, covering a wide range of notations and ambitions. The concept of type may vary from idealizations of DTD t...
114
click to vote
ISPEC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The automotive industry has developed electronic immobilizers to reduce the number of car thefts since the mid nineties. However, there is not much information on the cur...
160
click to vote
OTM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Alerting services can provide a valuable support for information seeking in Digital Libraries (DL). Several systems have been proposed. Most of them have serious drawback...
139
Voted
PATMOS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The load-store queue (LQ-SQ) of modern superscalar processors is responsible for keeping the order of memory operations. As the performance gap between processing speed a...
163
click to vote
ICSOC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Choreography and orchestration languages deal with business processes design and specification. Referring to Web Services technology, the most credited proposals are WS-...