1128 search results - page 161 / 226 » Little Engines of Proof |
ECOOP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Integrated development environments have been designed and engineered to display structural information about the source code of large systems. When a development task li...
85
Voted
EMSOFT
2005
Springer
15 years 6 months ago
2005
Springer
The nature of embedded systems development places a great deal of importance on meeting strict requirements in areas such as static code size, power consumption, and execution tim...
ACMSE
2004
ACM
15 years 6 months ago
2004
ACM
Component-based software development has become an important approach to building complex software systems. Much research focuses on component specification to achieve the advanta...
CCS
2004
ACM
15 years 6 months ago
2004
ACM
No matter how well designed and engineered, a mix server offers little protection if its administrator can be convinced to log and selectively disclose correspondences between it...
ICCSA
2004
Springer
15 years 6 months ago
2004
Springer
Finding the fastest algorithm to solve a problem is one of the main issues in Computational Geometry. Focusing only on worst case analysis or asymptotic computations leads to the d...