2200 search results - page 265 / 440 » Programming norm change |
129
click to vote
CONTEXT
2007
Springer
15 years 8 months ago
2007
Springer
This note describes a logical system based on concepts and contexts, whose aim is to serve as a representation language for meanings of natural language sentences. The logic is a t...
101
click to vote
FPL
2007
Springer
15 years 8 months ago
2007
Springer
The idea of changing cache attributes to suit an application has been explored for single programs. As the popularity of reconfigurable softcore systems grows and these systems in...
106
Voted
IFIP
2007
Springer
15 years 8 months ago
2007
Springer
Service-oriented architecture (SOA) will form the basis of future information systems. Web services are a promising way to implement SOA enabling the loose coupling of functionalit...
116
Voted
IFIP
2007
Springer
15 years 8 months ago
2007
Springer
New mobile computing technologies and the increasing use of portable devices have pushed the development of the so-called context-aware applications. This new class of applications...
129
Voted
TLCA
2007
Springer
15 years 8 months 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...