5904 search results - page 16 / 1181 » Requirements for a Composition Language |
RML
2002
13 years 7 months ago
2002
This paper presents the "situation manager" rule language. The situation manager is a tool that includes both a language and an efficient runtime execution mechanism, aim...
ACL
2007
13 years 9 months ago
2007
Dependency-based representations of natural language syntax require a fine balance between structural flexibility and computational complexity. In previous work, several constra...
ATVA
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
IJSEKE
2002
13 years 7 months ago
2002
In current literature few detailed process models for Requirements Engineering are presented: usually high-level activities are distinguished, without a more precise specification...
WWW
2005
ACM
14 years 8 months ago
2005
ACM
The recent evolution of Internet, driven by the Web services technology, is extending the role of the Web from a support of information interaction to a middleware for B2B interac...