2036 search results - page 1 / 408 » A generic type-and-effect system |
AUTOMATICA
2007
13 years 5 months ago
2007
This paper is devoted to the generic observability analysis for structured bilinear systems using a graph-theoretic approach. On the basis of a digraph representation, we express ...
TVCG
2002
13 years 4 months ago
2002
ECTEL
2008
Springer
13 years 6 months ago
2008
Springer
Interaction analysis can provide information directly to learners and teachers in order to assess and self-regulate their ongoing activity. Omega+ is a generic CSCL system that use...
ICSEA
2008
IEEE
13 years 11 months ago
2008
IEEE
Despite progress in model engineering, modeling large distributed systems is still a long and complex task. This paper outlines a methodology based on UML to make the modeling of ...
ICALP
2000
Springer
13 years 8 months ago
2000
Springer
We introduce a generic type system (based on Milner's sort system) for the synchronous polyadic -calculus, allowing us to mechanise the analysis of input/output capabilities o...