10038 search results - page 1790 / 2008 » Model Checking for Managers |
146
click to vote
MM
2005
ACM
15 years 10 months ago
2005
ACM
In this paper, we are interested in adaptation mechanisms for the design, creation and experimentation of adaptive and interactive new media artworks. Through a concrete case stud...
146
click to vote
SAC
2005
ACM
15 years 10 months ago
2005
ACM
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...
130
click to vote
SAC
2005
ACM
15 years 10 months ago
2005
ACM
This paper presents an efficient technique for placement and routing of sensors/actuators and processing units in a grid network. Our system requires an extremely high level of ro...
182
Voted
SAC
2005
ACM
15 years 10 months ago
2005
ACM
In this paper, we describe a new approach for mining concept associations from large text collections. The concepts are short sequences of words that occur frequently together acr...
181
click to vote
SASN
2005
ACM
15 years 10 months ago
2005
ACM
Pairwise key establishment is a fundamental service provided in secure sensor networks. However, due to resource constraints, establishing pairwise keys is not a trivial task. Rec...