1737 search results - page 192 / 348 » On Interpolation in Existence Logics |
190
click to vote
DFG
2004
Springer
16 years 16 days ago
2004
Springer
Programmable Logic Controllers (PLC) are widely used as device controllers for assembly lines, chemical processes, or power plants. Sequential Function Charts (SFC) form one of the...
193
click to vote
GLVLSI
2003
IEEE
16 years 13 days ago
2003
IEEE
With scaling down to deep submicron and nanometer technologies, noise immunity is becoming a metric of the same importance as power, speed, and area. Smaller feature sizes, low vo...
215
click to vote
EPIA
2003
Springer
16 years 11 days ago
2003
Springer
The Semantic Web is a “living organism”, which combines autonomously evolving data sources/knowledge repositories. This dynamic character of the Semantic Web requires (declarat...
211
click to vote
ICDCS
2002
IEEE
16 years 2 days ago
2002
IEEE
We argue that joint administration of access policies for a dynamic coalition formed by autonomous domains requires that these domains set up a coalition authority that distribute...
193
click to vote
ICALP
2010
Springer
15 years 12 months ago
2010
Springer
Universal Coalgebra provides the notion of a coalgebra as the natural mathematical generalization of state-based evolving systems such as (infinite) words, trees, and transition s...