148 search results - page 3 / 30 » Strong and Weak Policy Relations |
ELPUB
2008
ACM
13 years 9 months ago
2008
ACM
Background: Sharing data is a tenet of science, yet commonplace in only a few subdisciplines. Recognizing that a data sharing culture is unlikely to be achieved without policy gui...
LFCS
1994
Springer
13 years 11 months ago
1994
Springer
In a previous paper [4], we introduced a non-deterministic -calculus (-LK) whose type system corresponds exactly to Gentzen's cut-free LK [9]. This calculus, however, cannot b...
ECBS
2002
IEEE
14 years 18 days ago
2002
IEEE
When designing a software module or system, a systems engineer must consider and differentiate between how the system responds to external and internal errors. External errors can...
FUIN
2008
13 years 7 months ago
2008
In this paper, we consider safe Time Petri Nets where time intervals (strict and large) are associated with places (P-TPN), arcs (A-TPN) or transitions (T-TPN). We give the formal ...
ICDE
2008
IEEE
14 years 2 months ago
2008
IEEE
— We propose a new approach to the problem of schema matching in relational databases that merges the hybrid and composite approach of combining multiple individual matching tech...