9455 search results - page 421 / 1891 » The Modelling Language Zinc |
203
click to vote
POPL
1999
ACM
15 years 12 months ago
1999
ACM
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work...
173
click to vote
DEXAW
2005
IEEE
16 years 1 months ago
2005
IEEE
Business processes access Data Warehouse (DWH) information for performance measurement, supporting business decisions. Today, there are no conceptual models available that make th...
177
click to vote
VLDB
1991
ACM
15 years 11 months ago
1991
ACM
We explore the implications of supporting bags (i.e. multisets) in a data model and associated query language, and present some formal results concerned with the algebraic propert...
201
click to vote
ENTCS
2010
15 years 7 months ago
2010
This paper extends previous work on the compilation of higher-order imperative languages into digital circuits [4]. We introduce concurrency, an essential feature in the context o...
208
click to vote
FDL
2006
IEEE
16 years 1 months ago
2006
IEEE
Transaction Level Models are widely being used as high-level reference models during embedded systems development. High simulation speed and great modeling flexibility are the ma...