2253 search results - page 326 / 451 » An Approach to Specifying Software Frameworks |
221
Voted
POPL
2009
ACM
16 years 4 months ago
2009
ACM
Program errors are hard to detect and are costly both to programmers who spend significant efforts in debugging, and for systems that are guarded by runtime checks. Static verific...
130
click to vote
SEUS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. The application of run-time reconfigurable component models to networked embedded systems has a number of significant advantages such as encouraging software reuse, ada...
141
click to vote
ECTEL
2007
Springer
15 years 10 months ago
2007
Springer
Web2.0 is a conceptual framework that aims at enhancing the World Wide Web with semantic and social functionnalities. For this framework to fully develop, there is a need for concr...
142
Voted
FSTTCS
2004
Springer
15 years 9 months ago
2004
Springer
The join of two sets of facts, E1 and E2, is defined as the set of all facts that are implied independently by both E1 and E2. Congruence closure is a widely used representation f...
123
Voted
MKM
2004
Springer
15 years 9 months ago
2004
Springer
This paper describes technologies to create and maintain a problem solving environment based on a framework for distributed mathematical web services. Our approach allows clients t...