4397 search results - page 222 / 880 » Relational Algebra Operations |
131
Voted
ECIS
2004
15 years 5 months ago
2004
In this paper we address the concept of business architecture. We explain the concept and, based on a case study, discuss its relevance, operation, relationship with strategy and ...
136
click to vote
APLAS
2010
ACM
15 years 4 months ago
2010
ACM
Semantic preorders between processes are usually applied in practice to model approximation or implementation relationships. For interactive models these preorders depend crucially...
134
click to vote
SIGCSE
2002
ACM
15 years 3 months ago
2002
ACM
Most courses on Discrete Mathematics are designed to emphasize problem solving, in general. When the goal is to cover the content, the learning and understanding takes a second pl...
149
click to vote
ATS
2010
IEEE
15 years 2 months ago
2010
IEEE
One of the most challenging problems in post-silicon validation is to identify those errors that cause prohibitive extra delay on speedpaths in the circuit under debug (CUD) and o...
131
click to vote
HYBRID
2010
Springer
15 years 11 months ago
2010
Springer
We present computational techniques for automatically generating algebraic (polynomial equality) invariants for algebraic hybrid systems. Such systems involve ordinary differentia...