3385 search results - page 460 / 677 » Language, Logic, and the Brain |
166
click to vote
ICLP
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...
168
click to vote
PADL
2007
Springer
16 years 22 days ago
2007
Springer
Modern development environments integrate various static analyses into the build process. Analyses that analyze the whole project whenever the project changes are impractical in th...
185
click to vote
RSEISP
2007
Springer
16 years 21 days ago
2007
Springer
The main objective of this paper is to provide a granular computing based interpretation of rules representing two levels of knowledge. This is done by adopting and adapting the de...
186
click to vote
TGC
2007
Springer
16 years 21 days ago
2007
Springer
In computing systems, trust is an expectation on the dynamic behavior of an agent; static analysis is a collection of techniques for establishing static bounds on the dynamic behav...
169
click to vote
DEXAW
2006
IEEE
16 years 19 days ago
2006
IEEE
Besides being adopted as the new general data representation format for the Internet, XML is finding increasing acceptance as a native data exchange language. In order to fully e...