2253 search results - page 338 / 451 » An Approach to Specifying Software Frameworks |
112
click to vote
COMPSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
123
click to vote
ER
2006
Springer
15 years 7 months ago
2006
Springer
Though new technological trends and paradigms arise for developing complex software systems, systematic reuse continues to be an elusive goal. In this context, the adoption of Comm...
120
click to vote
AIIA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. This paper presents the first release of EDITS, an opensource software package for recognizing Textual Entailment developed by FBK-irst. The main contributions of EDITS ...
130
Voted
WSC
2008
15 years 6 months ago
2008
For simulation practitioners, the common steps in a simulation modeling engagement are likely familiar: problem assessment, requirements specification, model building, verificatio...
128
click to vote
AMAST
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We present a static analysis technique for modeling and approximating the long-run resource usage of programs. The approach is based on a quantitative semantic framework ...