4690 search results - page 88 / 938 » An operational semantics for Scheme |
169
click to vote
JUCS
2006
15 years 6 months ago
2006
Abstract: Multi-adjoint logic programming represents a very recent, extremely flexible attempt for introducing fuzzy logic into logic programming. In this setting, the execution of...
156
click to vote
WAC
2005
Springer
15 years 12 months ago
2005
Springer
: The development and deployment of interconnected networks is being increasingly limited by their complexity and the concomitant cost of managing the operational network. Autonomi...
159
click to vote
SRDS
1995
IEEE
15 years 10 months ago
1995
IEEE
Advances in computer and telecommunication technologies have made mobile computing a reality. However, greater mobility implies a more tenuous network connection and a higher rate...
157
click to vote
KBSE
2000
IEEE
15 years 10 months ago
2000
IEEE
Lightweight formal modeling and automatic analysis were used to explore the design of the Intentional Naming System (INS), a new scheme for resource discovery in a dynamic network...
293
click to vote
ICDE
2008
IEEE
16 years 7 months ago
2008
IEEE
ct The backbone of the XML data model, namely ordered, unranked trees, is inherently recursive and it is natural to equip the associated languages with constructs that can query su...