5378 search results - page 1044 / 1076 » Base Logics in Argumentation |
159
click to vote
HASKELL
2006
ACM
16 years 5 days ago
2006
ACM
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...
163
click to vote
ISLPED
2006
ACM
16 years 4 days ago
2006
ACM
Process variations will increasingly impact the operational characteristics of integrated circuits in nanoscale semiconductor technologies. Researchers have proposed various desig...
186
click to vote
IWCMC
2006
ACM
16 years 4 days ago
2006
ACM
Securing multicast communications in ad hoc networks has become one of the most challenging research directions in the areas of wireless networking and security. This is especiall...
168
click to vote
CCGRID
2005
IEEE
15 years 11 months ago
2005
IEEE
ABSTRACT. Objectives. This paper addresses Grid-based integration and access of distributed data from infectious disease patient databases, literature on in-vitro and in-vivo pharm...
206
click to vote
ICAC
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper introduces a self-configuring architecture for scaling the database tier of dynamic content web servers. We use a unified approach to load and fault management based ...