1397 search results - page 195 / 280 » On the Need for Practical Formal Methods |
147
Voted
RE
2010
Springer
14 years 11 months ago
2010
Springer
Today, companies are required to be in control of their IT assets, and to provide proof of this in the form of independent IT audit reports. However, many companies have outsourced...
150
click to vote
ACMDIS
2004
ACM
15 years 10 months ago
2004
ACM
This paper continues the movement from technology centered to human centered approaches in the study of tasks that involve finding, understanding, and using information, and tools...
121
Voted
BMCBI
2007
15 years 4 months ago
2007
Background: Molecular biologists need sophisticated analytical tools which often demand extensive computational resources. While finding, installing, and using these tools can be ...
147
click to vote
ICFEM
2009
Springer
15 years 11 months ago
2009
Springer
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
138
click to vote
SPIN
2007
Springer
15 years 10 months ago
2007
Springer
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...