23704 search results - page 259 / 4741 » Data and Information as Property |
165
click to vote
ECIS
2004
15 years 8 months ago
2004
Information systems development methodologies are still mainly concerned with the research of better ways to provide technical solutions for given organizational problems. The pap...
218
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
This paper proposes a modal extension of Separation Logic [8, 11] for reasoning about data-parallel programs that manipulate heap allocated linked data structures. Separation Logi...
161
click to vote
CLOUDCOM
2009
Springer
15 years 10 months ago
2009
Springer
There is a rapid increase in the size of data centres (DCs) used to provide cloud computing services. It is commonly agreed that not all properties in the middleware that manages D...
163
click to vote
SP
2006
IEEE
16 years 22 days ago
2006
IEEE
We propose PS-LTL, a pure-past security linear temporal logic that allows the specification of a variety of authentication, secrecy and data freshness properties. Furthermore, we...
188
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In order to employ the Web as a medium for data and information integration, comprehensive datasets and vocabularies are required as they enable the disambiguation and al...