1061 search results - page 141 / 213 » Dependently Sorted Logic |
137
click to vote
CIDR
2009
15 years 7 months ago
2009
In recent years, there has been a proliferation of declarative logic-based trust management languages and systems proposed to ease the description, configuration, and enforcement ...
158
click to vote
ISLPED
2010
ACM
15 years 6 months ago
2010
ACM
Booth encoding is believed to yield faster multiplier designs with higher energy consumption. 16x16-bit Booth and NonBooth multipliers are analyzed in energy and delay space under...
169
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
Within aspect-oriented programming, the quality of aspect code depends on the readability and expressiveness of pointcut languages. Readability is increased by using specialized, ...
118
click to vote
SYNTHESE
2010
15 years 4 months ago
2010
In this paper I suggest an answer to the question of what Frege means when he says that his logical system, the Begriffsschrift, is like the language Leibniz sketched, a lingua ch...
167
click to vote
ICSOC
2010
Springer
15 years 4 months ago
2010
Springer
In Service-Oriented Computing (SOC), fragmentation and merging of workflows are motivated by a number of concerns, among which we can cite design issues, performance, and privacy. ...