71 search results - page 9 / 15 » An Interface Algebra for Real-Time Components |
ICMCS
2006
IEEE
14 years 22 days ago
2006
IEEE
We believe handwriting input may be able to provide significant advantages over typing, especially in the mathematics learning domain. The use of handwriting may result in decreas...
BMCBI
2005
13 years 6 months ago
2005
Background: Computational methods for problem solving need to interleave information access and algorithm execution in a problem-specific workflow. The structures of these workflo...
ICDCS
2003
IEEE
14 years 58 min ago
2003
IEEE
Current intrusion detection systems work in isolation from access control for the application the systems aim to protect. The lack of coordination and inter-operation between thes...
RTAS
2008
IEEE
14 years 1 months ago
2008
IEEE
In previous work we have shown how modular code can be automatically generated from a synchronous block diagram notation where all blocks fire at all times. Here, we extend this ...
ICALP
2010
Springer
13 years 11 months ago
2010
Springer
Graph transformation works under a whole-world assumption. In modelling realistic systems, this typically makes for large graphs and sometimes also large, hard to understand rules....