9325 search results - page 383 / 1865 » The decentralized implementability problem |
145
click to vote
ISPAN
2005
IEEE
15 years 10 months ago
2005
IEEE
In classical mechanism design setting the outcome of the mechanism is computed by a trusted central party. In this paper we consider distributed implementations in which the outco...
182
click to vote
RSP
2005
IEEE
15 years 10 months ago
2005
IEEE
Embedded signal processing systems are usually associated with real-time constraints and/or high data rates so that fully software implementation are often not satisfactory. In th...
110
Voted
AIED
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents the EarthTutor authoring tool, a multi-layered system designed to remove the technical hurdles preventing teachers from having full control over the structure o...
149
click to vote
CSCLP
2005
Springer
15 years 10 months ago
2005
Springer
We give an efficiently executable specification of the global constraint of lexicographic order in the Constraint Handling Rules (CHR) language. In contrast to previous approaches...
133
click to vote
ECOOP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In aspect-oriented programming, pointcuts are used to describe crossstructure. Pointcuts that abstract over irrelevant implementation details are clearly desired to bette...