9873 search results - page 284 / 1975 » Emergent Semantics Systems |
203
click to vote
EMSOFT
2005
Springer
16 years 6 days ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
199
click to vote
ADBIS
2007
Springer
16 years 26 days ago
2007
Springer
The exponential growth of the web and the extended use of database management systems in widely distributed information systems has brought to the fore the need for seamless interc...
146
click to vote
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
We define the notions of a canonical inference rule and a canonical constructive system in the framework of strict single-conclusion Gentzen-type systems (or, equivalently, natural...
174
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. Semantic labelling is a transformational technique for proving termination of Term Rewriting Systems (TRSs). Only its variant with finite sets of labels was used so far i...
184
click to vote
TLCA
2007
Springer
16 years 24 days ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...