1481 search results - page 260 / 297 » Enriching the Software Development Process by Formal Methods |
106
click to vote
EDBT
2000
ACM
15 years 3 months ago
2000
ACM
Workflow management systems (WFMSs) that are geared for the orchestration of enterprise-wide or even "virtual-enterprise"-style business processes across multiple organi...
TACAS
2010
Springer
14 years 9 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
ERLANG
2006
ACM
15 years 5 months ago
2006
ACM
Erlang/OTP's DBMS Mnesia is lacking in several important areas to consider when implementing very large databases with massive scalability requirements. This article reveals ...
ICCS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Resource management is a critical concern in high-performance computing software. While management of processing resources to increase performance is the most critical, e...
212
click to vote
SCP
2011
14 years 6 months ago
2011
In the field of scientific computing there is a manifold of software applications and tools available which provide methods and libraries for the solution of very specific prob...