Sciweavers

3424 search results - page 169 / 685
» Building Diverse Computer Systems
Sort
View
COMPUTER
2007
153views more  COMPUTER 2007»
13 years 8 months ago
The Discipline of Embedded Systems Design
ems, using abstractions that actually remove physical constraints from consideration. At the other, embedded systems design goes beyond the traditional expertise of electrical engi...
Thomas A. Henzinger, Joseph Sifakis
WSC
2004
13 years 9 months ago
Multi-Formalism Modeling Approach for Semiconductor Supply/Demand Networks
Building computational models of real world systems usually requires the interaction of decision modules and simulation modules. Given different models and algorithms, the major h...
Gary W. Godding, Hessam S. Sarjoughian, Karl G. Ke...
POLICY
2009
Springer
14 years 2 months ago
Security Policy Implementation Strategies for Common Carrier Monitoring Service Providers
—There are increasing capabilities and demands for the remote monitoring of homes and their occupants. There are a variety of options for the architecture of such monitoring syst...
Carl A. Gunter
CSCW
2004
ACM
14 years 1 months ago
BusyBody: creating and fielding personalized models of the cost of interruption
Interest has been growing in opportunities to build and deploy statistical models that can infer a computer user’s current interruptability from computer activity and relevant c...
Eric Horvitz, Paul Koch, Johnson Apacible
CORR
2007
Springer
64views Education» more  CORR 2007»
13 years 8 months ago
Generating models for temporal representations
We discuss the use of model building for temporal representations. We chose Polish to illustrate our discussion because it has an interesting aspectual system, but the points we w...
Patrick Blackburn, Sébastien Hinderer