4434 search results - page 640 / 887 » On the Composition of Hybrid Systems |
165
click to vote
DSVIS
2005
Springer
16 years 5 days ago
2005
Springer
Goal-oriented methodologies have demonstrated some adequacy for modelling composite systems, from high level desired properties to operational requirements on responsible agents. T...
158
click to vote
FOSSACS
2005
Springer
16 years 5 days ago
2005
Springer
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...
180
click to vote
FSMNLP
2005
Springer
16 years 5 days ago
2005
Springer
TAGH is a system for automatic recognition of German word forms. It is based on a stem lexicon with allomorphs and a concatenative mechanism for inflection and word formation. Wei...
173
click to vote
GPCE
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We describe our efforts to use source-level rewriting to optimize run-time program generators written in Jumbo, a run-time program generation system for Java. Jumbo is a...
142
click to vote
SG
2005
Springer
16 years 4 days ago
2005
Springer
We present a system using semi-autonomous agents to help artists express ideas. Agents control their representation on a canvas via interactions in agent space. They are given a se...