2132 search results - page 287 / 427 » Automated software winnowing |
137
click to vote
IROS
2007
IEEE
15 years 11 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...
170
click to vote
SIES
2007
IEEE
15 years 11 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
142
click to vote
TPHOL
2007
IEEE
15 years 11 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...
149
Voted
CIVR
2007
Springer
15 years 11 months ago
2007
Springer
In this paper, we outline some of the main challenges facing trademark searchers today, and discuss the extent to which current automated systems are meeting those challenges. Cat...
125
click to vote
ICFEM
2007
Springer
15 years 11 months ago
2007
Springer
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...