Sciweavers

DGO
2009
151views Education» more  DGO 2009»
14 years 1 months ago
Making ecology research results useful for resource management: a case study in visual analytics
This paper addresses challenges to resource managers' use of scientific research, and reports strategies and informatics tools to ameliorate those challenges. Our work involv...
Natalie Kopytko, Judith Bayard Cushing, Lee Zeman,...
MAS
1998
Springer
152views Communications» more  MAS 1998»
14 years 4 months ago
D'Agents: Security in a Multiple-Language, Mobile-Agent System
Abstract. Mobile-agent systems must address three security issues: protecting an individual machine, protecting a group of machines, and protecting an agent. In this chapter, we di...
Robert S. Gray, David Kotz, George Cybenko, Daniel...
DILS
2005
Springer
14 years 6 months ago
Eco-Informatics for Decision Makers Advancing a Research Agenda
Resource managers often face significant information technology (IT) problems when integrating ecological or environmental information to make decisions. At a workshop sponsored by...
Judith Bayard Cushing, Tyrone Wilson
FMCO
2007
Springer
103views Formal Methods» more  FMCO 2007»
14 years 6 months ago
Safety Guarantees from Explicit Resource Management
We present a language and a program analysis that certifies the safe use of flexible resource management idioms, in particular advance reservation or “block booking” of costl...
David Aspinall, Patrick Maier, Ian Stark