4166 search results - page 224 / 834 » A modular module system |
173
click to vote
TPHOL
2007
IEEE
16 years 7 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
148
Voted
AUTOMATICA
2000
15 years 5 months ago
2000
For discrete event systems, modular supervisory control refers to modular design of a supervisor when multiple control specifications are given. This problem has been studied for ...
147
click to vote
SAC
2010
ACM
16 years 25 days ago
2010
ACM
Implementing the 23 Gang-of-Four design patterns in the aspectoriented programming language Object Teams/Java (OT/J) yields modularity and reusability results roughly comparable t...
145
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Researchers demand much from their embodied conversational agents (ECAs), requiring them to be both life-like, as well as responsive to events in an interactive setting. We find t...
136
click to vote
ECAL
2001
Springer
15 years 10 months ago
2001
Springer
This paper presents recent work in computational modelling of diffusing gaseous neuromodulators in biological nervous systems. It goes on to describe work in adaptive autonomous sy...