803 search results - page 110 / 161 » Building Formal Models for Software Requirements |
123
click to vote
CAISE
2006
Springer
15 years 7 months ago
2006
Springer
Enterprise Systems potentially lead to significant efficiency gains but require a well-conducted configuration process. A promising idea to manage and simplify the configuration pr...
124
Voted
SAFECOMP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
133
Voted
SPW
2000
Springer
15 years 7 months ago
2000
Springer
The underlying belief and knowledge models assumed by various kinds of authentication protocols have been studied for well over 10 years now. On the other hand, the related questio...
151
Voted
ISESE
2005
IEEE
15 years 9 months ago
2005
IEEE
The development of High-Performance Computing (HPC) programs is crucial to progress in many fields of scientific endeavor. We have run initial studies of the productivity of HPC d...
127
Voted
EWSPT
2003
Springer
15 years 9 months ago
2003
Springer
The issue of building a Process Support System Environment (PSSE), or a family of PSEE, to make them interoperate or to use them to pilot applications or services requires new solu...