4350 search results - page 735 / 870 » Case studies for contract-based systems |
ICSEA
2007
IEEE
14 years 3 months ago
2007
IEEE
We investigate the trade off between investing effort in improving the features of a research environment that increases productivity and investing such effort in actually conduct...
ICTAI
2007
IEEE
14 years 3 months ago
2007
IEEE
We introduce a novel Ontology-based Argumentation Framework (OAF) that links a logic-based argumentation formalism and description logic ontologies. We show how these two formalis...
INFOCOM
2007
IEEE
14 years 3 months ago
2007
IEEE
— We present a software infrastructure that embeds physical hosts in a simulated network. Aiming to create a largescale real-time virtual network testbed, our real-time interacti...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
We study efficient query processing in distributed web search engines with global index organization. The main performance bottleneck in this case is due to the large amount of i...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
In today’s large and complex network scenario vulnerability scanners play a major role from security perspective by proactively identifying the known security problems or vulner...