2911 search results - page 287 / 583 » A Theory of Expressiveness in Mechanisms |
173
click to vote
CLIMA
2011
14 years 6 months ago
2011
We propose a logical framework to represent and reason about some important aspects of a theory of institutional action: (1) the distinctions between physical facts and actions and...
185
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
One of the main issues in modern aspect-oriented programming languages and frameworks is the expressiveness of the pointcut language or mechanism. The expressiveness of pointcut l...
173
click to vote
CCS
2010
ACM
15 years 6 months ago
2010
ACM
Decentralized information flow control (DIFC) operating systems provide applications with mechanisms for enforcing information-flow policies for their data. However, significant o...
193
click to vote
AI
2010
Springer
15 years 6 months ago
2010
Springer
instruments. A melody expresses abstract artistic conception or emotion. The explanation ability plays the key role in the externalization and internalization from one form of expr...
198
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: One of main aims of Molecular Biology is the gain of knowledge about how molecular components interact each other and to understand gene function regulations. Using mi...