551 search results - page 43 / 111 » Realizability of Real-Time Logics |
154
click to vote
CONTEXT
2007
Springer
16 years 7 hour ago
2007
Springer
Contextual Graphs are a context-based formalism used in various real-world applications. They allow a uniform representation of elements of reasoning and of contexts for describing...
146
click to vote
FPGA
2001
ACM
15 years 10 months ago
2001
ACM
As the complexity of integrated circuits increases, the ability to make post-fabrication changes to fixed ASIC chips will become more and more attractive. This ability can be real...
146
click to vote
LPAR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The coupling of description logic reasoning systems with other reasoning formalisms (possibly over the Web) is becoming an important research issue and calls for advanced...
172
click to vote
ICSOC
2007
Springer
15 years 12 months ago
2007
Springer
Mashups are a new kind of interactive Web application, built out of the composition of two or more existing Web service APIs and data sources. Whereas “pure” mashups are built ...
171
click to vote
SBCCI
2004
ACM
15 years 11 months ago
2004
ACM
Digital Control System in the industry has been used in most of the applications based on expensive Programmable Logical Controllers (PLC). These Systems are, in general, highly c...