380 search results - page 33 / 76 » Mapping a Local Web Domain |
128
click to vote
JFP
2002
15 years 2 months ago
2002
We define a family of embedded domain specific languages for generating HTML and XML documents. Each language is implemented as a combinator library in Haskell. The generated HTML...
140
Voted
ISBI
2006
IEEE
16 years 3 months ago
2006
IEEE
Important anatomical features on the cortical surface are usually represented by landmark curves, called sulcal/gyral curves. Manual labeling of these landmark curves is time-cons...
116
click to vote
PODS
2006
ACM
16 years 2 months ago
2006
ACM
We study the verification of compositions of Web Service peers which interact asynchronously by exchanging messages. Each peer has access to a local database and reacts to user in...
109
click to vote
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
This paper relates two different paradigms of descriptions of communication behaviour, one focussing on global message flows and another on end-point behaviours, using formal cal...
145
click to vote
EAGC
2003
Springer
15 years 7 months ago
2003
Springer
The complexity of Grid environments is growing as more projects and applications appear in this quick-evolving domain. Widespread applications are distributed over thousands of com...