Sciweavers

11215 search results - page 206 / 2243
» Skeleton - Easy Simulation System
Sort
View
178
Voted
CASES
2001
ACM
15 years 10 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...
CONTEXT
2005
Springer
15 years 9 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 8 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...
168
Voted
QEST
2005
IEEE
16 years 17 days ago
Formal Executable Descriptions of Biological Systems
Michele Curti, Davide Prandi, Linda Brodo
156
Voted
QEST
2005
IEEE
16 years 17 days ago
VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems
Koushik Sen, Mahesh Viswanathan, Gul A. Agha