4854 search results - page 110 / 971 » It's the Programming, Stupid |
170
click to vote
CHARME
2001
Springer
15 years 9 months ago
2001
Springer
In this paper we present a syntactical approach for deriving real-time programs from a formal specification of the requirements of real-time systems. The main idea of our approach ...
179
click to vote
IJAR
2008
15 years 6 months ago
2008
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the trea...
143
click to vote
JACIII
2007
15 years 6 months ago
2007
Abstract— A common framework for formalization of statetransition computation models is presented based on a general theory for studying the interrelationships between specifica...
124
click to vote
ICCSA
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we present a nonlinear programming solution to one of the most challenging problems in trajectory optimization. Unlike most aerospace trajectory optimization problems...
159
click to vote
ECBS
2004
IEEE
15 years 10 months ago
2004
IEEE
: The available evidence in a legacy software system, which can help in its understanding and recovery of its architecture are not always sufficient. Very often the system's d...