3047 search results - page 308 / 610 » On the Meaning of Logical Completeness |
200
click to vote
RR
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. The Semantic Web is commonly perceived as a web of partially interlinked machine readable data. This data is inherently distributed and resembles the structure of the web...
197
click to vote
AUSAI
2005
Springer
16 years 1 months ago
2005
Springer
This paper addresses the problem of scheduling jobs in soft real-time systems, where the utility of completing each job decreases over time. We present a utility-based framework fo...
178
Voted
BIRTHDAY
2005
Springer
16 years 1 months ago
2005
Springer
This paper proposes a Compiled Labelled Deductive System, called ACCLDS, for reasoning about role-based access control in distributed systems, which builds upon Massacci’s tablea...
190
click to vote
ADC
2004
Springer
16 years 28 days ago
2004
Springer
A complete workflow specification requires careful integration of many different process characteristics. Decisions must be made as to the definitions of individual activities, th...
190
Voted
COMPSAC
2003
IEEE
16 years 24 days ago
2003
IEEE
Usual techniques for automatic test data generation are based on the assumption that a complete oracle will be available during the testing process. However, there are programs fo...