221 search results - page 30 / 45 » Heyting Algebras and Formal Languages |
MODELS
2007
Springer
15 years 6 months ago
2007
Springer
The integration of different models, such as scenarios, is an important component of the requirements engineer’s work. If manually performed, the integration operation is error-...
113
Voted
ADBIS
2007
Springer
15 years 2 months ago
2007
Springer
This paper provides an answer-oriented multidimensional analysis environment. The approach is based on a conceptual point of view. We define a conceptual model that represents data...
106
Voted
APLAS
2005
ACM
15 years 6 months ago
2005
ACM
Message Sequence Charts (MSCs) are a graphical language for the description of scenarios in terms of message exchanges between communicating components in a distributed environment...
115
click to vote
ICSOC
2005
Springer
15 years 5 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-...
124
Voted
IFL
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...