5904 search results - page 508 / 1181 » Requirements for a Composition Language |
180
click to vote
CICLING
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. With the current method of query formation, a Question Answering system retrieves a set of documents that are similar to a question, while what is mostly required is a se...
173
click to vote
FROCOS
2005
Springer
16 years 21 days ago
2005
Springer
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...
146
click to vote
ECAI
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. Asbru is a complex formal language developed to represent clinical guidelines and protocols which are time- and processoriented. To facilitate and support the modeling in...
203
click to vote
POLICY
2004
Springer
16 years 15 days ago
2004
Springer
This work proposes a XML-based framework for distributing and enforcing RSVP access control policies, for RSVP-aware application servers. Policies are represented by extending XAC...
201
click to vote
VL
2003
IEEE
16 years 13 days ago
2003
IEEE
A significant challenge in teaching programming to disadvantaged populations is preserving learners’ motivation and confidence. Because programming requires such a diverse set o...