4036 search results - page 52 / 808 » Formal Methods |
107
Voted
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
Recent research on performance analysis for embedded systems shows a trend to formal compositional models and methods. These compositional methods can be used to determine the per...
134
click to vote
JLP
2006
15 years 2 months ago
2006
One of the goals of software engineering is to provide what is necessary to write relevant, legible, useful descriptions of the systems to be developed, which will be the basis of...
119
Voted
JSS
2006
15 years 2 months ago
2006
Estimating software size is a difficult task that requires a methodological approach. Many different methods that exist today use distinct abstractions to depict a software system...
125
Voted
CARDIS
2006
Springer
15 years 6 months ago
2006
Springer
Ahead-of-Time and Just-in-Time compilation are common ways to improve runtime performances of restrained systems like Java Card by turning critical Java methods into native code. H...
129
Voted
WETICE
2005
IEEE
15 years 8 months ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...