2036 search results - page 1 / 408 » A generic type-and-effect system |
AUTOMATICA
2007
13 years 11 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 10 months ago
2002
ECTEL
2008
Springer
14 years 28 days 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
14 years 5 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
14 years 2 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...