2036 search results - page 93 / 408 » A generic type-and-effect system |
99
Voted
JMM
2006
15 years 19 days ago
2006
ents a prototype system, called UbiCon system. By abstracting media streams into generic CONTENT entities, the system provides a simple and powerful means for services to operate m...
36
Voted
IFE
2002
15 years 13 days ago
2002
In this article we introduce two new generative approaches of animated computational models. These approaches are applied in context of educational software systems for compiler de...
111
click to vote
SEUS
2008
IEEE
15 years 7 months ago
2008
IEEE
The concepts of Autonomic and Organic Computing (AC/OC) promise to make modern computer systems more secure and easier to manage. In this paper, we extend the observer/controller a...
101
Voted
FSTTCS
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
77
Voted
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
For a large class of switched systems with zeno phenomenon, classical observer cannot be applied directly since the terms leading to zeno phenomenon are not derivable. However in t...