715 search results - page 19 / 143 » Application of Formal Methods to the Development of a Softwa... |
173
click to vote
EKAW
2004
Springer
15 years 11 months ago
2004
Springer
This paper describes a particular knowledge acquisition tool for the construction and maintenance of the knowledge model of an intelligent system for emergency management in the fi...
157
Voted
SEKE
2007
Springer
15 years 11 months ago
2007
Springer
High performance computing (HPC) is gaining popularity in solving scientific applications. Using the current programming standards, however, it takes an HPC expert to efficiently ...
150
click to vote
BCSHCI
2007
15 years 7 months ago
2007
The use of formal models for user interface design can provide a number of benefits. It can help to ensure consistency across designs for multiple platforms, prove properties such...
144
click to vote
SIGSOFT
2010
ACM
15 years 3 months ago
2010
ACM
Almost all fundamental advances in science and engineering crucially depend on the availability of extremely capable high performance computing (HPC) systems. Future HPC systems w...
157
click to vote
WETICE
2003
IEEE
15 years 11 months ago
2003
IEEE
A formal approach to security in the software life cycle is essential to protect corporate resources. However, little thought has been given to this aspect of software development...