2212 search results - page 298 / 443 » Automated software wrapping |
153
Voted
IROS
2007
IEEE
16 years 13 days 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...
194
click to vote
SIES
2007
IEEE
16 years 12 days 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 ...
168
click to vote
TPHOL
2007
IEEE
16 years 12 days 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...
168
click to vote
CIVR
2007
Springer
16 years 9 days 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...
146
Voted
ICFEM
2007
Springer
16 years 8 days 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...