705 search results - page 77 / 141 » New Compilation Languages Based on Structured Decomposabilit... |
118
click to vote
ISADS
2003
IEEE
15 years 3 months ago
2003
IEEE
An advanced high-level approach for programming of real-time distributed computing applications, the TMO (Time-triggered Message-triggered Object) programming and specification sc...
WISE
2002
Springer
15 years 2 months ago
2002
Springer
Web transactions may be complex, composed of several sub-transactions accessing different resources including legacy systems. They may also have complex semantics. To deal with co...
LREC
2010
14 years 11 months ago
2010
Today's natural language processing systems are growing more complex with the need to incorporate a wider range of language resources and more sophisticated statistical metho...
COMPLIFE
2006
Springer
15 years 1 months ago
2006
Springer
A powerful new software concept to physiologically based pharmacokinetic (PBPK) modelling of drug disposition is presented. It links the inherent modular understanding in pharmacol...
153
click to vote
FROCOS
2011
Springer
13 years 9 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...