Sciweavers

2373 search results - page 70 / 475
» Towards a Model of Computer Systems Research
Sort
View
PUC
2006
72views more  PUC 2006»
15 years 4 months ago
Towards self-protecting ubiquitous systems: monitoring trust-based interactions
The requirement for spontaneous interaction in ubiquitous computing creates security issues over and above those present in other areas of computing, deeming traditional approaches...
Colin English, Sotirios Terzis, Paddy Nixon
DAGSTUHL
2007
15 years 5 months ago
Towards a Logic of Graded Normativity and Norm Adherence
A key focus of contemporary agent-oriented research and engineering is on open multiagent systems composed of truly autonomous, interacting agents. This poses new challenges, as en...
Matthias Nickles
FLAIRS
2004
15 years 5 months ago
Natural Language Generation and Discourse Context: Computing Distractor Sets from the Focus Stack
In human-human conversation, people use linguistic expressions that are flexibly tailored to context as a matter of course, and they expect their conversational partners to do lik...
David DeVault, Charles Rich, Candace L. Sidner
CF
2010
ACM
15 years 8 months ago
Towards greener data centers with storage class memory: minimizing idle power waste through coarse-grain management in fine-grai
Studies have shown much of today’s data centers are over-provisioned and underutilized. Over-provisioning cannot be avoided as these centers must anticipate peak load with burst...
In Hwan Doh, Young Jin Kim, Jung Soo Park, Eunsam ...
FDL
2007
IEEE
15 years 8 months ago
Towards Assertion Based Verification of Analog and Mixed Signal Designs Using PSL
Abstract-- Analog and Mixed Signal (AMS) designs are important integrated systems that link digital circuits to the analog world. Following the success of PSL verification methodol...
Ghiath Al Sammane, Mohamed H. Zaki, Zhi Jie Dong, ...