105 search results - page 1 / 21 » Towards A More User-Friendly Correction |
COLING
1994
14 years 5 days ago
1994
PVLDB
2010
13 years 9 months ago
2010
Non-technical users are increasingly adding structures to their data. This gives rise to the need for database design. However, traditional database design is deliberate and heavy...
ECBS
2006
IEEE
14 years 4 months ago
2006
IEEE
We present a design methodology for specifying embedded systems that addresses the complex nature of embedded systems design. Our approach uses modern model-based techniques to co...
ISPA
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. Powerful grid and cluster computers allow efficient distributed simulation. Optimistic simulation techniques have been developed which allow for more parallelism in the l...
ECOOP
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. Interaction protocols are a popular means to construct correct component-based systems. Aspects that modify such protocols are interesting in this context because they su...