10159 search results - page 483 / 2032 » System Design Validation Using Formal Models |
142
click to vote
EUROMICRO
2006
IEEE
15 years 11 months ago
2006
IEEE
— We propose a method for component-based software and system development, where the interoperability between the different components is given special consideration. The method ...
127
Voted
IEEEIAS
2008
IEEE
15 years 11 months ago
2008
IEEE
: This paper focuses on the different challenges to design a security typed web scripting language. It uses the type system approach on a simple imperative language that captures a...
158
click to vote
ENTCS
2006
15 years 5 months ago
2006
Nowadays, software evolution is a very hot topic. Many applications need to be updated or extended with new characteristics during their lifecycle. Software evolution is character...
156
click to vote
RECOMB
2005
Springer
16 years 5 months ago
2005
Springer
Abstract. We introduce an extended computational framework for studying biological systems. Our approach combines formalization of existing qualitative models that are in wide but ...
132
click to vote
FORTE
2008
15 years 6 months ago
2008
Designing and interoperability testing of distributed, application-level network protocols is complex. Windows, for example, supports currently more than 200 protocols, ranging fro...