2911 search results - page 271 / 583 » A Theory of Expressiveness in Mechanisms |
180
click to vote
SECURWARE
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. This paper presents our pattern-based approach to run-time requirements monitoring and threat detection being developed as part of an approach to build frameworks support...
169
click to vote
CBMS
2007
IEEE
16 years 1 months ago
2007
IEEE
Representing and Reasoning about time and change is one of the primary issues in the area of Artificial Intelligence (AI) and Knowledge Representation (KR). Despite the importance...
149
click to vote
ACAL
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. In this paper, we apply a theoretical swarm-generating technique to a system implementing cluster-based construction. The technique, known as swarm engineering consists o...
148
click to vote
ATAL
2007
Springer
16 years 25 days ago
2007
Springer
Interdependent values (IDV) is a valuation model allowing bidders in an auction to express their value for the item(s) to sell as a function of the other bidders’ information. W...
159
click to vote
ICWE
2007
Springer
16 years 24 days ago
2007
Springer
Combining expressiveness and plainness in the design of web documents is a difficult task. Validation languages are very powerful and designers are tempted to over-design specific...