883 search results - page 68 / 177 » The Semantics of Verilog Using Transition System Combinators |
128
click to vote
CCS
2007
ACM
15 years 9 months ago
2007
ACM
In defining large, complex access control policies, one would like to compose sub-policies, perhaps authored by different organizations, into a single global policy. Existing po...
149
click to vote
ICSOC
2004
Springer
15 years 8 months ago
2004
Springer
CiteSeer is currently a very large source of meta-data information on the World Wide Web (WWW). This meta-data is the key material for the Semantic Web. Still, CiteSeer is not yet...
128
click to vote
CAISE
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...
139
click to vote
JCISE
2002
15 years 2 months ago
2002
Online resources of engineering design information are a critical resource for practicing engineers. These online resources often contain references and content associated with te...
141
click to vote
NIPS
2004
15 years 4 months ago
2004
We study gender discrimination of human faces using a combination of psychophysical classification and discrimination experiments together with methods from machine learning. We r...