2613 search results - page 172 / 523 » Proposal for Tools Supporting Component Based Programming |
157
click to vote
TASE
2008
IEEE
15 years 5 months ago
2008
IEEE
The safety of pointer programs is an important issue in high-assurance software design, and their verification remains a major challenge. Pointer Logic has been proposed to verify...
189
Voted
DAGSTUHL
2001
15 years 7 months ago
2001
GXL (Graph eXchange Language) is designed to be a standard exchange format for graph-based tools. GXL is defined as an XML sublanguage, which offers support for exchanging instanc...
172
click to vote
ICWE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Adaptive hypermedia constitutes a pretty rich resource for developing web-based courses. With the aim of dynamically generating adaptive ecourses, we have developed the T...
149
click to vote
VLDB
2001
ACM
15 years 10 months ago
2001
ACM
We propose an novel method of computing and storing DataCubes. Our idea is to use Bayesian Networks, which can generate approximate counts for any query combination of attribute v...
144
Voted
EDOC
2003
IEEE
15 years 11 months ago
2003
IEEE
Distributed System design is a highly complicated and non-trivial task. The problem is characterised by the need to design multi-threaded, multi-processor, and multimedia systems....