3047 search results - page 370 / 610 » On the Meaning of Logical Completeness |
112
click to vote
EMSOFT
2006
Springer
15 years 2 months ago
2006
Springer
Concurrent programming languages should be a good fit for embedded systems because they match the intrinsic parallelism of their architectures and environments. Unfortunately, typ...
108
Voted
MA
2000
Springer
15 years 2 months ago
2000
Springer
Mobile Maude is a mobile agent language extending the rewriting logic language Maude and supporting mobile computation. Mobile Maude uses reflection to obtain a simple and general ...
91
Voted
SWAP
2007
15 years 2 days ago
2007
In this paper we take a view from the bottom to RDF(S) reasoning. We discuss some issues and requirements on reasoning towards effectively building Semantic Web Pipes, aggregating ...
HASKELL
2008
ACM
15 years 4 hour ago
2008
ACM
Eight years ago, functional dependencies, a concept from the theory of relational databases, were proposed as a mechanism for avoiding common problems with multiple parameter type...
TCAD
2008
14 years 10 months ago
2008
BDDs have proven to be an efficient means to represent and manipulate Boolean formulae [1] and sets [2] due to their compactness and canonicality. In this work, we leverage the eff...