3358 search results - page 323 / 672 » Parametric Aspects: A Proposal |
201
click to vote
ADAEUROPE
2005
Springer
16 years 11 days ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
168
click to vote
AIIA
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Improving accuracy in Information Retrieval tasks via semantic information is a complex problem characterized by three main aspects: the document representation model, th...
186
click to vote
ASM
2005
ASM
16 years 11 days ago
2005
ASM
State machines are considered a very general means of expressing computations in an implementation-independent way. There are also ways to extend the general state machine framewor...
142
click to vote
BIRTHDAY
2005
Springer
16 years 11 days ago
2005
Springer
Schematic proofs are functions which can produce a proof of a proposition for each value of their parameters. A schematic proof can be constructed by abstracting a general pattern ...
164
click to vote
BPM
2005
Springer
16 years 11 days ago
2005
Springer
The 20 workflow patterns proposed by Van der Aalst et al. provide a comprehensive benchmark for comparing control flow aspects of process modelling languages. In this paper, we p...