3081 search results - page 518 / 617 » A Formal Ontology of Properties |
176
click to vote
MEMOCODE
2007
IEEE
16 years 20 days ago
2007
IEEE
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
172
click to vote
RTAS
2007
IEEE
16 years 20 days ago
2007
IEEE
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
158
click to vote
SEFM
2007
IEEE
16 years 20 days ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
167
click to vote
WCRE
2007
IEEE
16 years 20 days ago
2007
IEEE
Our analysis of crosscutting concerns in real-life software systems (totaling over 500,000 LOC) and in reports from literature indicated a number of properties that allow for thei...
185
click to vote
BTW
2007
Springer
16 years 18 days ago
2007
Springer
: In many application areas like e-science and data-warehousing detailed information about the origin of data is required. This kind of information is often referred to as data pro...