9626 search results - page 1550 / 1926 » Invariant Based Programming |
207
click to vote
PPDP
2004
Springer
16 years 4 days ago
2004
Springer
Refactoring in object-orientation has gained increased attention due to its ability to improve design quality. Refactoring using design patterns (DPs) leads to production of high ...
177
click to vote
SAB
2004
Springer
16 years 4 days ago
2004
Springer
This paper provides an overview of the SWARM-BOTS project, a robotic project sponsored by the Future and Emerging Technologies program of the European Commission. The paper illustr...
169
click to vote
VMCAI
2004
Springer
16 years 3 days ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
163
click to vote
CODES
2003
IEEE
16 years 2 days ago
2003
IEEE
We describe our first efforts to develop a set of off-the-shelf hardware components that ordinary people could connect to build a simple but useful class of embedded systems. The ...
223
click to vote
HICSS
2003
IEEE
16 years 2 days ago
2003
IEEE
Todays, we assist to the explosive development of mobile computing devices like PDAs and cell-phones, the integration of embedded intelligence (like Web server) in more and more c...