Sciweavers

1929 search results - page 74 / 386
» A Problem Space Approach to Expert System Specification
Sort
View
135
Voted
SAC
2005
ACM
15 years 9 months ago
Knowledge based approach to semantic composition of teams in an organization
Finding rapidly suitable experts in an organization to compose a team able to solve specific tasks is a typical problem in large consulting firms. In this paper we present a Des...
Simona Colucci, Tommaso Di Noia, Eugenio Di Sciasc...
132
Voted
CAV
2006
Springer
128views Hardware» more  CAV 2006»
15 years 7 months ago
Safraless Compositional Synthesis
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for system synthesis, litt...
Orna Kupferman, Nir Piterman, Moshe Y. Vardi
124
Voted
SIGMETRICS
2008
ACM
15 years 3 months ago
An SLA perspective on the router buffer sizing problem
In this paper, we discuss recent work on buffer sizing in the context of an ISP's need to offer and guarantee competitive Service Level Agreements (SLAs) to its customers. Si...
Joel Sommers, Paul Barford, Albert G. Greenberg, W...
134
Voted
HICSS
2003
IEEE
95views Biometrics» more  HICSS 2003»
15 years 9 months ago
An Interactive Software-Agent Smoking Cessation Program
Health communication researchers have shown that tailored health communication messages outperform nontailored materials. Non-tailored materials are typically “one-size-fits-all...
Todd Shimoda
141
Voted
MUE
2007
IEEE
128views Multimedia» more  MUE 2007»
15 years 10 months ago
Designing, Developing, and Evaluating Context-Aware Systems
Context and context-awareness have been central issues in ubiquitous computing research for the last decade. Advances with regard to context acquisition and activity recognition a...
Yoosoo Oh, Albrecht Schmidt, Woontack Woo