1312 search results - page 13 / 263 » Quantitative Comparison of Languages |
FUIN
2010
13 years 7 months ago
2010
In previous work we have proposed an extension to ASP (Answer Set Programming), called RASP, standing for ASP with Resources. RASP supports declarative reasoning on production and...
IPPS
2005
IEEE
14 years 3 months ago
2005
IEEE
In recent years the Unified Modeling Language (UML) including its profiles gained increasing acceptance as a specification language for modeling real-time systems. It is crucia...
CONCUR
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Quantitative languages are an extension of boolean languages that assign to each word a real number. Mean-payoff automata are finite automata with numerical weights on tr...
NAR
2007
13 years 9 months ago
2007
Multi-Q Web Server provides an automated data analysis tool for multiplexed protein quantitation based on the iTRAQ labeling method. Multi-Q is designed as a generic platform that...
ESORICS
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Researchers have proposed formal definitions of quantitative information flow based on information theoretic notions such as the Shannon entropy, the min entropy, the gue...