8828 search results - page 1491 / 1766 » Formal methods in practice |
192
click to vote
SIGCSE
2004
ACM
16 years 5 days ago
2004
ACM
This paper presents a family of programming projects appropriate to a sophomore-level data structures course, centered around the concept of a buffer pool serving as the access i...
192
click to vote
WOSP
2004
ACM
2004
ACM
Early-stage performance modeling and its application for integrated embedded control software design
16 years 4 days ago
Most of current embedded control software (ECSW) development techniques deal only with performance specifications during the early software design phase and delay the modeling and...
205
click to vote
ALGOSENSORS
2004
Springer
16 years 4 days ago
2004
Springer
We conjecture that any planar 3-connected graph can be embedded in the plane in such a way that for any nodes s and t, there is a path from s to t such that the Euclidean distance ...
179
Voted
AP2PC
2004
Springer
16 years 4 days ago
2004
Springer
A Middleware is the software that assists an application to interact or communicate with other applications, networks, hardware, and/or operating systems. We have earlier proposed ...
162
click to vote
DIS
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Ripple Down Rules is a practical methodology to build knowledgebased systems, which has proved successful in a wide range of commercial applications. However, little work...