5128 search results - page 388 / 1026 » When Abstraction Fails |
187
click to vote
VTC
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract—Group-orthogonal multicarrier code-division multiple access (GO-MC-CDMA) has been proposed as a multiplexing technique for the uplink segment of wireless systems. The di...
171
click to vote
CALCO
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
186
click to vote
IFL
2007
Springer
16 years 1 months ago
2007
Springer
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
184
click to vote
KI
2007
Springer
16 years 1 months ago
2007
Springer
Readylog is a logic-based agent programming language and combines many important features from other Golog dialects. One of the features of Readylog is to make use of decision-theo...
251
click to vote
MIDDLEWARE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Developing distributed multiplayer games for ad-hoc networks is challenging. Consistency of the replicated shared state is hard to ensure at a low cost. Current consisten...