2364 search results - page 413 / 473 » An Engine for Computing Well-Founded Models |
114
click to vote
FOSSACS
2009
Springer
15 years 10 months ago
2009
Springer
There is growing interest in quantitative theories of information flow in a variety of contexts, such as secure information flow, anonymity protocols, and side-channel analysis. ...
135
click to vote
ISORC
2008
IEEE
15 years 10 months ago
2008
IEEE
The performance of autonomous vehicles could be drastically improved if ad-hoc networking and suitable real-time coordination is employed to optimize and improve the joint behavio...
124
click to vote
QEST
2007
IEEE
15 years 10 months ago
2007
IEEE
Our productivity centered performance tuning framework for HPC applications comprises of three main components: (1) a versatile source code, performance metrics, and performance d...
130
Voted
DCOSS
2007
Springer
15 years 10 months ago
2007
Springer
We introduce a class of anchoritic sensor networks, where communications between sensor nodes are undesirable or infeasible due to, e.g., harsh environments, energy constraints, or...
142
click to vote
ICSOC
2007
Springer
15 years 10 months ago
2007
Springer
Mashups are a new kind of interactive Web application, built out of the composition of two or more existing Web service APIs and data sources. Whereas “pure” mashups are built ...