Sciweavers

4041 search results - page 194 / 809
» time 2009
Sort
View
ISORC
2009
IEEE
16 years 1 months ago
Resource Scopes: Toward Language Support for Compositional Determinism
Complex real-time embedded systems should be compositional and deterministic in the resource, time, and value domains. Determinism eases the engineering of correct systems and com...
Madhukar Anand, Sebastian Fischmeister, Insup Lee
IV
2009
IEEE
155views Visualization» more  IV 2009»
16 years 1 months ago
Visualizing Temporal Dynamics at the Genomic and Metabolic Level
We present an application for integrated visualization of gene expression data from time series experiments in gene regulation networks and metabolic networks. Such integration is...
Romain Bourqui, Michel A. Westenberg
180
Voted
APPROX
2009
Springer
108views Algorithms» more  APPROX 2009»
16 years 1 months ago
Strong Parallel Repetition Theorem for Free Projection Games
The parallel repetition theorem states that for any two provers one round game with value at most 1 − (for < 1/2), the value of the game repeated n times in parallel is at mo...
Boaz Barak, Anup Rao, Ran Raz, Ricky Rosen, Ronen ...
CSEE
2009
Springer
16 years 1 months ago
An Evaluation of Using a Game Development Framework in Higher Education
This paper describes an application of a Game Development Framework (GDF) Microsoft XNA in software architecture (SA) course at Norwegian University of Science and Technology (NTN...
Bian Wu, Alf Inge Wang, Jan-Erik Strøm, Tro...
EDUTAINMENT
2009
Springer
16 years 1 months ago
A Distributed Multi-agent Architecture in Simulation Based Medical Training
This paper addresses the issues of distributed interactions in a simulation based medial training environment, where a team of doctors, nurses and assistants are trained for handli...
Jun Hu, Loe M. G. Feijs