Sciweavers

11215 search results - page 206 / 2243
» Skeleton - Easy Simulation System
Sort
View
CASES
2001
ACM
15 years 4 months ago
The performance and energy consumption of three embedded real-time operating systems
This paper presents the modeling of embedded systems with SimBed, an execution-driven simulation testbed that measures the execution behavior and power consumption of embedded app...
Kathleen Baynes, Chris Collins, Eric Fiterman, Bri...
129
Voted
CONTEXT
2005
Springer
15 years 2 months ago
Minimality and Non-determinism in Multi-context Systems
Multi-context systems can be used to represent contextual information and inter-contextual information flow. We show that the local model semantics of a multi-context system is co...
Floris Roelofsen, Luciano Serafini
DGO
2008
96views Education» more  DGO 2008»
15 years 2 months ago
Laying the foundations for public participation and value advocacy: interaction design for a large scale urban simulation
Supporting public participation is often a key goal in the design of digital government systems. However, years of work may be required before a complex system, such as the UrbanS...
Batya Friedman, Alan Borning, Janet Davis, Brian T...
QEST
2005
IEEE
15 years 6 months ago
Formal Executable Descriptions of Biological Systems
Michele Curti, Davide Prandi, Linda Brodo
85
Voted
QEST
2005
IEEE
15 years 6 months ago
VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems
Koushik Sen, Mahesh Viswanathan, Gul A. Agha