4117 search results - page 542 / 824 » On the Satisfiability of Complex Constraints |
192
click to vote
FGCS
2008
15 years 6 months ago
2008
Many scientific and engineering applications involve inverting large matrices or solving systems of linear algebraic equations. Solving these problems with proven algorithms for d...
182
click to vote
ENTCS
2006
15 years 6 months ago
2006
Partially Ordered Symbolic Automata (POSAs) are used as the semantical foundation of visual formalisms like the scenario based language of Live Sequence Charts (LSCs). To check whe...
195
click to vote
GRID
2006
Springer
15 years 6 months ago
2006
Springer
1 -- As the scale and complexity of data-driven computational science grows, so grows the burden on the scientists and students in managing the data products used and generated dur...
207
click to vote
GRID
2006
Springer
15 years 6 months ago
2006
Springer
Air Quality Forecasting (AQF) is a new discipline that attempts to reliably predict atmospheric pollution. An AQF application has complex workflows and in order to produce timely ...
190
click to vote
IJISEC
2006
15 years 6 months ago
2006
Since Boneh and Franklin published their seminal paper on identity based encryption (IBE) using the Weil pairing , there has been a great deal of interest in cryptographic primitiv...