2123 search results - page 334 / 425 » Composition of Cyber-Physical Systems |
91
Voted
ITS
2010
Springer
15 years 5 months ago
2010
Springer
This paper presents a novel Automatic Question Generation (AQG) approach that generates trigger questions as a form of support for students’ learning through writing. The approac...
99
Voted
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract— We propose formal models for analyzing robustness of multi-hop control networks, where data from sensors to controllers and from controllers to actuators is sent throug...
115
Voted
EUROCAST
2001
Springer
15 years 5 months ago
2001
Springer
We present a Language Prototyping System that facilitates the modular development of interpreters from semantic specifications. The theoretical basis of our system is the integrat...
120
click to vote
POLICY
2001
Springer
15 years 5 months ago
2001
Springer
The Ponder language provides a common means of specifying security policies that map onto various access control implementation mechanisms for firewalls, operating systems, databas...
94
Voted
UIST
2000
ACM
15 years 5 months ago
2000
ACM
Traditionally, designers organize software system as active end-points (e.g. applications) linked by passive infrastructures (e.g. networks). Increasingly, however, networks and i...