9626 search results - page 1488 / 1926 » Invariant Based Programming |
177
Voted
ICALP
2004
Springer
16 years 7 days ago
2004
Springer
We present a domain-theoretic version of Picard’s theorem for solving classical initial value problems in Rn . For the case of vector fields that satisfy a Lipschitz condition, ...
223
Voted
ICSOC
2004
Springer
16 years 7 days ago
2004
Springer
Emerging Web services standards enable the development of large-scale applications in open environments. In particular, they enable services to be dynamically bound. However, curr...
188
Voted
IEAAIE
2004
Springer
16 years 7 days ago
2004
Springer
The main issue in e-learning is student modelling, i.e. the analysis of a student’s behaviour and prediction of his/her future behaviour and learning performance. Indeed, it is d...
206
Voted
IFIP
2004
Springer
16 years 7 days ago
2004
Springer
: AIRBUS and ONERA used the AltaRica formal language and associated tools to perform safety assessments. Lessons learnt during the study of an electrical and hydraulic system are p...
174
Voted
IFIP
2004
Springer
16 years 7 days ago
2004
Springer
Current firewall configuration languages have no well founded semantics. Each firewall implements its own algorithm that parses specific proprietary languages. The main conseq...