2905 search results - page 439 / 581 » Formal Memetic Algorithms |
151
click to vote
PODS
2008
ACM
16 years 3 months ago
2008
ACM
We present a formal framework for capturing the provenance of data appearing in XQuery views of XML. Building on previous work on relations and their (positive) query languages, w...
116
Voted
ICSE
2007
IEEE-ACM
16 years 3 months ago
2007
IEEE-ACM
Modern multiuser software systems have adopted RoleBased Access Control (RBAC) for authorization management. This paper presents a formal model for RBAC policy validation and a st...
112
Voted
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
Applied Type System (ATS) is recently proposed as a framework for designing and formalizing (advanced) type systems in support of practical programming. In ATS, the definition of ...
152
Voted
MOBIHOC
2007
ACM
16 years 3 months ago
2007
ACM
A number of studies have shown the abundance of unused spectrum in the TV bands. This is in stark contrast to the overcrowding of wireless devices in the ISM bands. A recent trend...
127
click to vote
ESOP
2010
Springer
16 years 27 days ago
2010
Springer
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...