80 search results - page 13 / 16 » The Logic of Perfect MV-algebras |
ICC
2007
IEEE
15 years 5 months ago
2007
IEEE
—Rate adaptation, as a challenging issue for wireless purpose. Relatively little attention has been paid on identifying network design, has been an active research topic for year...
110
Voted
VEE
2006
ACM
15 years 4 months ago
2006
ACM
Many fault-tolerant and intrusion-tolerant systems require the ability to execute unsafe programs in a realistic environment without leaving permanent damages. Virtual machine tec...
FSTTCS
2003
Springer
15 years 4 months ago
2003
Springer
Tagging schemes have been used in security protocols to ensure that the analysis of such protocols can work with messages of bounded length. When the set of nonces is bounded, this...
114
Voted
PEPM
2011
ACM
14 years 1 months ago
2011
ACM
Navigating through tree structures is a core operation in tree processing programs. Most notably, XML processing programs intensively use XPath, the path specification language t...
93
Voted
EMSOFT
2011
Springer
13 years 10 months ago
2011
Springer
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...