2153 search results - page 325 / 431 » From Requirements Models to Formal Specifications in B |
210
click to vote
PPOPP
2011
ACM
14 years 9 months ago
2011
ACM
Performance modeling for scientific applications is important for assessing potential application performance and systems procurement in high-performance computing (HPC). Recent ...
193
click to vote
APSCC
2008
IEEE
16 years 24 days ago
2008
IEEE
Software systems today often run in malicious environments in which attacks or intrusions are quite common. This situation has brought security concerns into the development of so...
198
click to vote
DGO
2011
14 years 6 months ago
2011
In this paper, we describe a tool to help holistically understand, research and analyze the relationship between an ecosystem model and the relevant laws. Specifically, a software...
169
click to vote
LCPC
2000
Springer
15 years 10 months ago
2000
Springer
State-of-the-art run-time systems are a poor match to diverse, dynamic distributed applications because they are designed to provide support to a wide variety of applications, with...
146
click to vote
IS
2008
15 years 6 months ago
2008
In recent years, while search engines have become more and more powerful, several specialized search engines have been developed for different domains (e.g. library services, serv...