2127 search results - page 286 / 426 » Software Automation |
89
Voted
CEC
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— The next generation of embedded computing systems will have to meet new challenges. The systems are expected to act mainly autonomously, to dynamically adapt to changin...
105
Voted
ECBS
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper provides three contributions to the study of functional integration of distributed enterprise systems. First, we describe the challenges associated with functionally in...
151
Voted
HICSS
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper presents a graph transformation based approach to design pattern evolution. An evolution of a design pattern includes modifications of pattern elements, such as classes...
119
Voted
IROS
2007
IEEE
15 years 9 months ago
2007
IEEE
— A functional approach to programming robot swarms brings with it well-defined properties that allow for automated concurrency and distributed execution. Further, the particula...
121
click to vote
TPHOL
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...