944 search results - page 117 / 189 » Software model checking without source code |
112
click to vote
FMCO
2009
Springer
14 years 12 months ago
2009
Springer
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
127
click to vote
SAFECOMP
2005
Springer
15 years 7 months ago
2005
Springer
In the telecommunications sector product development must minimise time to market while delivering high levels of dependability, availability, maintainability and scalability. High...
126
click to vote
CAISE
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The European Space Agency (ESA) has created the Simulation Model Portability 2 (SMP2) standard with the purpose to provide a design solution for the project of Spacecraft...
117
click to vote
CSMR
1999
IEEE
15 years 6 months ago
1999
IEEE
Maintenance activities are made more difficult when pointers are heavily used in source code: the programmer needs to build a mental model of memory locations and of the way they ...
186
click to vote
SOSP
2003
ACM
15 years 11 months ago
2003
ACM
This paper presents a new approach called model-carrying code (MCC) for safe execution of untrusted code. At the heart of MCC is the idea that untrusted code comes equipped with a...