2145 search results - page 72 / 429 » Architectural Specifications in CASL |
ICDE
2007
IEEE
14 years 10 months ago
2007
IEEE
One very important application in the data mining domain is frequent pattern mining. Various authors have worked on improving the efficiency of this computation, mostly focusing o...
DAC
2006
ACM
14 years 9 months ago
2006
ACM
A simple protocol for latency-insensitive design is presented. The main features of the protocol are the efficient implementation of elastic communication channels and the automat...
SIGSOFT
2005
ACM
14 years 9 months ago
2005
ACM
Charmy is a framework for designing and validating architectural specifications. In the early stages of the software development process, the Charmy framework assists the software...
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
Deriving requirements and architecture in concert implies the joint elicitation and specification of the problem and the structure of the solution. In this paper we argue that suc...
UM
2005
Springer
14 years 2 months ago
2005
Springer
Abstract: This paper is focused on user modeling and adaptation in distributed ELearning systems. We describe here CUMULATE, a generic student modeling server developed for a distr...