2736 search results - page 439 / 548 » Implementable allocation rules |
ADBIS
2008
Springer
15 years 7 months ago
2008
Springer
The event-condition-action paradigm (also known as triggers or ECA rules) gives a database “active” capabilities – the ability to react automatically to changes in the databa...
127
click to vote
ASIAMS
2007
IEEE
15 years 7 months ago
2007
IEEE
Composability, the capability to select and assemble offthe-shelf model components in various combinations to satisfy user requirements, is an appealing approach in reducing the t...
72
Voted
CIBCB
2007
IEEE
15 years 7 months ago
2007
IEEE
—Many dynamical processes can be represented as directed attributed graphs or Petri nets where relationships between various entities are explicitly expressed. Signaling networks...
EDOC
2007
IEEE
15 years 7 months ago
2007
IEEE
There has, in recent years, been growing interest in Model Driven Engineering (MDE), in which models are the primary design artifacts and transformations are applied to these mode...
118
Voted
LICS
2007
IEEE
15 years 6 months ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...