71 search results - page 7 / 15 » Domain Engineering with Event-B: Some Lessons We Learned |
VLDB
2004
ACM
14 years 7 months ago
2004
ACM
This experience paper summarizes the key lessons we learned throughout the design and implementation of the Aurora stream processing engine. For the past two years, we have built f...
IAJIT
2010
13 years 6 months ago
2010
: This paper presents a novel adaptive course composition system that based on mashing up learning content in a web application. The system includes three major components, static ...
PPSC
1997
13 years 8 months ago
1997
Abstract. Standard benchmark suites are a popular way to measure and compare computers performance. The Honeywell Technology Center has developed two benchmarking suites for parall...
RIAO
1997
13 years 8 months ago
1997
Access to on-line information via the Web is exploding. Index and retrieval engines already start to integrate a huge variety of heterogeneous repositories. However, the heterogen...
IUI
2003
ACM
14 years 23 days ago
2003
ACM
Interactive tools to help users author plans or processes are essential in a variety of domains. KANAL helps users author sound plans by simulating them, checking for a variety of...