2688 search results - page 218 / 538 » A formal semantics for P3P |
170
click to vote
ESOP
2007
Springer
16 years 24 days ago
2007
Springer
When students first learn programming, they often rely on a simple operational model of a program’s behavior to explain how particular features work. Because such models build o...
151
click to vote
SEMWEB
2007
Springer
16 years 22 days ago
2007
Springer
Abstract The most common matching applications, e.g., ontology matching, focus on the computation of the correspondences holding between the nodes of graph structures (e.g., concep...
156
click to vote
DASFAA
2005
IEEE
16 years 7 days ago
2005
IEEE
Reducing the latency of information delivery in an event driven world has always been a challenge. It is often necessary to completely capture the attributes of events and relation...
183
click to vote
EUC
2004
Springer
16 years 7 hour ago
2004
Springer
One fundamental task to realize the envisioned ubiquitous computing paradigm is the proper management of the data generated in this environment. The special characteristics of high...
189
click to vote
NMR
2004
Springer
15 years 12 months ago
2004
Springer
All major semantics of normal logic programs and normal logic programs with aggregates can be described as fixpoints of the one-step provability operator or of operators that can...