1107 search results - page 146 / 222 » XAIRA : software for language analysis |
143
Voted
ENTCS
2008
15 years 3 months ago
2008
Reactive programs have to react continuously to their inputs. Here the time needed to react with the according output is important. While the synchrony hypothesis takes the view t...
141
Voted
APBC
2003
15 years 5 months ago
2003
In this paper we suggest the requirements for an open platform designed for the description, distribution and analysis of genetic polymorphism data. This platform is discussed in ...
129
Voted
EMSOFT
2004
Springer
15 years 7 months ago
2004
Springer
The Simulink/Stateflow toolset is an integrated suite enabling model-based design and has become popular in the automotive and aeronautics industries. We have previously developed...
130
Voted
POPL
2010
ACM
16 years 1 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
135
click to vote
NLDB
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Requirements engineering, the first phase of any software development project, is the Achilles’ heel of the whole development process, as requirements documents are of...