3555 search results - page 249 / 711 » Security-Critical System Development with Extended Use Cases |
184
click to vote
HPCN
2000
Springer
15 years 9 months ago
2000
Springer
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
209
Voted
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
143
click to vote
ICNSC
2008
IEEE
16 years 15 days ago
2008
IEEE
Today's communication-based applications are mostly crafted in a stovepipe development paradigm, which is inflexible to be used by various domain-specific applications and cos...
153
Voted
LREC
2010
15 years 7 months ago
2010
This paper presents the development of an open-source Spanish Dependency Grammar implemented in FreeLing environment. This grammar was designed as a resource for NLP applications ...
171
click to vote
TMC
2011
15 years 1 months ago
2011
— This paper establishes the equivalence between cognitive medium access and the competitive multi-armed bandit problem. First, the scenario in which a single cognitive user wish...