23704 search results - page 452 / 4741 » Data and Information as Property |
242
click to vote
LICS
2012
IEEE
13 years 9 months ago
2012
IEEE
—We show how to reliably compute fast-growing functions with timed-arc Petri nets and data nets. This construction provides ordinal-recursive lower bounds on the complexity of th...
204
click to vote
ICSM
2008
IEEE
16 years 1 months ago
2008
IEEE
International standardization in information representation, organization, and dissemination are meant to eliminate the discrepancies in communication among participating organiza...
164
click to vote
KES
2004
Springer
16 years 15 days ago
2004
Springer
When the available information is imperfect, it is often desirable to represent it in the database, so that it can be used to answer queries of interest as much as possible. The da...
199
click to vote
TIME
2005
IEEE
16 years 22 days ago
2005
IEEE
The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...
175
click to vote
RIVF
2003
15 years 8 months ago
2003
— This paper address user personalization of services. The purpose is to propose an architecture of components that maintain the user profiles consistent in face of user and admi...