1229 search results - page 30 / 246 » Associated type synonyms |
103
click to vote
EVOW
2006
Springer
15 years 3 months ago
2006
Springer
Infection by the human papillomavirus (HPV) is associated with the development of cervical cancer. HPV can be classified to highand low-risk type according to its malignant potenti...
109
click to vote
MPC
2010
Springer
15 years 4 months ago
2010
Springer
Parser combinators are a popular tool for designing parsers in functional programming languages. If such combinators generate an abstract representation of the grammar as an interm...
APLAS
2007
ACM
15 years 3 months ago
2007
ACM
We propose a series of type systems for the information-flow security of assembly code. These systems extend previous work TALC with some timing annotations and associated judgment...
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper builds a bridge between permissions and ownership types. Ownership is a recognized alias control technique. With ownership, each object is assigned an owner and any acc...
COORDINATION
2006
Springer
15 years 3 months ago
2006
Springer
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...