7009 search results - page 90 / 1402 » Patterns in Complex Systems Modeling |
ITP
2010
14 years 1 months ago
2010
Abstract. We present a compiler for definitions made by pattern matching on inductive families in the Coq system. It allows to write structured, recursive dependently-typed functi...
CAISE
2006
Springer
14 years 27 days ago
2006
Springer
Adaptive websites usually change as effect of user navigational actions. Most current web engineering approaches (which consider personalization) allow to detect basic user browsin...
CN
2006
13 years 9 months ago
2006
The emergence of high-speed communication systems has enabled the support of complex multimedia applications. The traffic patterns generated by such applications are likely to be ...
PAKDD
2004
ACM
14 years 2 months ago
2004
ACM
In many cases, normal uses of a system form patterns that will repeat. The most common patterns can be collected into a prediction model which will essentially predict that usage p...
SOCO
2007
Springer
14 years 3 months ago
2007
Springer
Contemporary software systems are composed of many components, which, in general, undergo phased and incremental development. In order to facilitate the corresponding construction ...