1754 search results - page 350 / 351 » What's new in informatics |
ATAL
2011
Springer
12 years 5 months ago
2011
Springer
Commitments provide a flexible means for specifying the business relationships among autonomous and heterogeneous agents, and lead to a natural way of enacting such relationships...
POPL
2012
ACM
12 years 1 months ago
2012
ACM
Data races are among the most reliable indicators of programming errors in concurrent software. For at least two decades, Lamport’s happens-before (HB) relation has served as th...
POPL
2012
ACM
12 years 1 months ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
ICSE
2012
IEEE-ACM
11 years 8 months ago
2012
IEEE-ACM
—Software logging is a conventional programming practice. While its efficacy is often important for users and developers to understand what have happened in the production run, ...
NAR
2000
13 years 5 months ago
2000
Maintained at the University of Texas Health Science Center at Tyler, Texas, the tmRNA database (tmRDB) is accessible at the URL http://psyche.uthct.edu/dbs/ tmRDB/tmRDB.html with...