3745 search results - page 111 / 749 » Sonic: System Description |
166
click to vote
SFM
2004
Springer
15 years 11 months ago
2004
Springer
This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...
173
click to vote
INLG
2010
Springer
15 years 3 months ago
2010
Springer
There were three GREC Tasks at Generation Challenges 2010: GREC-NER required participating systems to identify all people references in texts; for GRECNEG, systems selected corefe...
158
click to vote
EICS
2009
ACM
15 years 10 months ago
2009
ACM
This paper presents an approach for investigating in a predictive way potential disruptive effects of interruptions on task performance in a multitasking environment. The approach...
171
click to vote
ECAL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We do not attempt to provide yet another definition of selforganization, but explore the conditions under which we can model a system as self-organizing. These involve th...
160
click to vote
PDSE
1998
15 years 7 months ago
1998
We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, com...