Sciweavers

3357 search results - page 321 / 672
» Controlling Complexity
Sort
View
ENTCS
2002
78views more  ENTCS 2002»
15 years 6 months ago
Slicing Synchronous Reactive Programs
This paper extends the well-known technique of slicing to synchronous reactive programs. Synchronous languages exemplified by Esterel, Lustre, Signal and Argos, novel model of exe...
Vinod Ganapathy, S. Ramesh
MCFNS
2010
104views more  MCFNS 2010»
15 years 1 months ago
ECOSEL: An Auction Mechanism for Forest Ecosystem Services
This paper describes the foundations of a market mechanism that was designed to stimulate more efficient provisions of forest ecosystem services to society. The proposed tool is a ...
Sándor F. Tóth, Gregory J. Ettl, Ser...
CASES
2006
ACM
16 years 19 days ago
A case study of multi-threading in the embedded space
The continuing miniaturization of technology coupled with wireless networks has made it feasible to physically embed sensor network systems into the environment. Sensor net proces...
Greg Hoover, Forrest Brewer, Timothy Sherwood
ATAL
2009
Springer
16 years 1 months ago
Improving adjustable autonomy strategies for time-critical domains
As agents begin to perform complex tasks alongside humans as collaborative teammates, it becomes crucial that the resulting humanmultiagent teams adapt to time-critical domains. I...
Nathan Schurr, Janusz Marecki, Milind Tambe
UPP
2004
Springer
16 years 10 hour ago
From Prescriptive Programming of Solid-State Devices to Orchestrated Self-organisation of Informed Matter
Abstract. Achieving real-time response to complex, ambiguous, highbandwidth data is impractical with conventional programming. Only the narrow class of compressible input-output ma...
Klaus-Peter Zauner