3706 search results - page 574 / 742 » The Transformational Approach to Program Development |
125
click to vote
COMSWARE
2006
IEEE
15 years 8 months ago
2006
IEEE
ing a middleware abstraction layer into wireless sensor networks is a widely accepted solution to facilitate application programming and allow network organization. In this paper,...
142
click to vote
ICRA
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract—Unmanned aerial vehicles (UAVs) represent an important class of networked robotic applications that must be both highly dependable and autonomous. This paper addresses s...
115
Voted
IWPC
2006
IEEE
15 years 8 months ago
2006
IEEE
Software systems are often written in more than one programming language. During development, programmers need to understand not only the dependencies among code in a particular l...
126
click to vote
APLAS
2006
ACM
15 years 8 months ago
2006
ACM
We present a local relational reasoning method for reasoning about contextual equivalence of expressions in a λ-calculus with recursive types and general references. Our developme...
MSR
2006
ACM
15 years 8 months ago
2006
ACM
Software may contain functionality that does not align with its architecture. Such cross-cutting concerns do not exist from the beginning but emerge over time. By analysing where ...