376 search results - page 9 / 76 » A Model for Visual Specification of E-contracts |
SIMVIS
2004
13 years 8 months ago
2004
We present a rigorous formal - but transparent - specification of the semantics of a generic simulation-based 3D animation framework. Our system combines a SystemC simulation kern...
DSN
2000
IEEE
13 years 11 months ago
2000
IEEE
Survivabilityis the ability of a system to maintain a set of essential services despite the presence of abnormal events such as faults and intrusions. Ensuring system survivabilit...
WSC
2000
13 years 8 months ago
2000
SLX by Wolverine software is actually one of the fastest simulation languages. Besides the high performance the SLX-compiler can be extended very easily by user specific syntax ru...
GEOINFORMATICA
1998
13 years 7 months ago
1998
An approach to an interoperable object-oriented GIS-framework for atmospheric modeling (AtmoGIS), which can be used to implement integrated information systems, is presented. The ...
DMS
2010
13 years 5 months ago
2010
In-lined Reference Monitoring frameworks are an emerging technology for enforcing security policies over untrusted, mobile, binary code. However, formulating correct policy specifi...