2108 search results - page 301 / 422 » An Operational Semantics for Stateflow |
158
click to vote
FLOPS
1999
Springer
15 years 8 months ago
1999
Springer
We present a simple generic framework to solve constraints on any domain (finite or infinite) which has a lattice structure. The approach is based on the use of a single constrai...
158
click to vote
WETICE
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper, we address the problem of static slicing on binary executables for the purposes of the malicious code detection in COTS components. By operating directly on binary ...
143
click to vote
CGI
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper presents a new architecture of a database management system intended to be used together with existing graphics software. In the first place, a system with this archite...
158
click to vote
ER
1998
Springer
15 years 8 months ago
1998
Springer
Data warehouses are complex systems that have to deliver highly-aggregated, high quality data from heterogeneous sources to decision makers. Due to the dynamic change in the requir...
119
click to vote
APSEC
1997
IEEE
15 years 8 months ago
1997
IEEE
A crucial aspect of the architecture of a software system is its decomposition into components and the specification of component interactions. In this report we use a variant of...