1109 search results - page 73 / 222 » Software verification for TinyOS |
123
click to vote
ENTCS
2002
15 years 1 months ago
2002
Abstract: Alias analysis for Fortran is less complicated than for programming languages with pointers but many real Fortran programs violate the standard: a formal parameter or a c...
96
Voted
ICSE
2003
IEEE-ACM
16 years 1 months ago
2003
IEEE-ACM
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-cri...
124
click to vote
SEW
2003
IEEE
15 years 6 months ago
2003
IEEE
Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constraints. It provides assurance that properties are maintained during a given program...
124
click to vote
ISSRE
2000
IEEE
15 years 5 months ago
2000
IEEE
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...
110
click to vote
ECAI
2008
Springer
15 years 3 months ago
2008
Springer
Abstract-- Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are critical systems and m...