1585 search results - page 83 / 317 » A framework for computer-aided validation |
132
click to vote
ECIS
2004
15 years 4 months ago
2004
The continuing soar in popularity when it comes to standardized information systems sold en masse under the labelling of Enterprise Resource Planning (ERP) Systems is somewhat kep...
149
click to vote
JOT
2008
15 years 3 months ago
2008
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
159
click to vote
IJHPCA
2008
15 years 3 months ago
2008
We present a de novo hierarchical simulation framework for first-principles based predictive simulations of materials and their validation on high-end parallel supercomputers and ...
150
Voted
MSWIM
2009
ACM
15 years 10 months ago
2009
ACM
Host Identity Protocol (HIP) decouples IP addresses from higher layer Internet applications by proposing a new, cryptographic namespace for host identities. HIP has great potentia...
124
click to vote
PADS
2006
ACM
15 years 9 months ago
2006
ACM
The High Level Architecture (HLA) is a standard for the interoperability and reuse of simulation components, referred to as federates. Large scale HLA-compliant simulations are bu...