10038 search results - page 269 / 2008 » Model Checking for Managers |
213
click to vote
ICDT
2012
ACM
13 years 9 months ago
2012
ACM
In a recent paper by Hellerstein [15], a tight relationship was conjectured between the number of strata of a Datalog¬ program and the number of “coordination stages” require...
146
click to vote
CIBSE
2009
ACM
16 years 1 months ago
2009
ACM
In the Software Engineering (SE) domain, the Model Driven Engineering (MDE)1 paradigm focuses on using models as main software artifacts to provide a full description of software s...
163
click to vote
ECIS
2003
15 years 8 months ago
2003
Knowledge is an important matter for consulting firms − as a resource, as a product or service, and as a trigger for internal value creation processes. Therefore, a strategy for...
277
click to vote
ICDE
2007
IEEE
16 years 8 months ago
2007
IEEE
It has long been recognized that multi-stream operators, such as union and join, often have to wait idly in a temporarily blocked state, as a result of skews between the timestamp...