12333 search results - page 2170 / 2467 » System Level Modelling for Hardware Software Systems |
161
click to vote
ISORC
2007
IEEE
15 years 11 months ago
2007
IEEE
As quality of service (QoS)-enabled component middleware technologies gain widespread acceptance to build distributed real-time and embedded (DRE) systems, it becomes necessary fo...
143
click to vote
FSEN
2007
Springer
15 years 11 months ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...
126
click to vote
UM
2007
Springer
15 years 11 months ago
2007
Springer
Web personalization has demonstrated to be advantageous for both online customers and vendors. However, its benefits may be severely counteracted by privacy constraints. Personaliz...
133
click to vote
ITICSE
2005
ACM
15 years 10 months ago
2005
ACM
“Objects-first” is an increasingly popular strategy for teaching object-oriented programming by introducing the concepts of objects, classes, and instances before procedural e...
128
Voted
ICWL
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we investigate the use of Latent Semantic Analysis (LSA), Critiquing Systems, and Knowledge Building to support computerbased teaching of English composition. We have...