7918 search results - page 109 / 1584 » Model Composition Directives |
129
click to vote
QEST
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...
105
click to vote
TACAS
1998
Springer
15 years 4 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
103
click to vote
KDD
2002
ACM
16 years 1 months ago
2002
ACM
Web Usage Mining enables new understanding of user goals on the Web. This understanding has broad applications, and traditional mining techniques such as association rules have bee...
201
Voted
POPL
2006
ACM
16 years 1 months ago
2006
ACM
We present staged allocation, a technique for specifying calling conventions by composing tiny allocators called stages. A specification written using staged allocation has a prec...
1715
Voted
ICECCS
2008
IEEE
15 years 7 months ago
2008
IEEE
Component-based software development focuses on building large software systems by integrating existing software components to reduce cost, risk and time. However, behavioural and...