5200 search results - page 301 / 1040 » Symbolic models for control systems |
174
Voted
NJC
2000
15 years 5 months ago
2000
We show how linear typing can be used to obtain functional programs which modify heap-allocated data structures in place. We present this both as a "design pattern" for ...
159
click to vote
ITS
2000
Springer
15 years 9 months ago
2000
Springer
Intelligent tutoring systems often emphasize learner control: They let the students decide when and how to use the system's intelligent and unintelligent help facilities. This...
131
click to vote
AIMSA
2008
Springer
16 years 12 days ago
2008
Springer
This paper presents the Agent MOdeling LAnguage (AMOLA). This language provides the syntax and semantics for creating models of multi-agent systems covering the analysis and design...
152
click to vote
INFOCOM
2006
IEEE
16 years 2 days ago
2006
IEEE
—We consider a set of flows passing through a set of servers. The injection rate into each flow is governed by a flow control that increases the injection rate when all the se...
148
click to vote
ENTCS
2007
15 years 6 months ago
2007
In this paper we propose a formalization of access control policies based on term rewriting. The state of the system to which policies are enforced is represented as an algebraic ...