4418 search results - page 191 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
135
click to vote
FMCO
2008
Springer
15 years 8 months ago
2008
Springer
Models are gaining importance in software development, for instance in the MDD field, as well as in other disciplines such as biology and physics. Hence, tool support is needed to ...
153
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
A standard notation, that unambiguously expresses different aspects of a system, is important to the process of software development. The expressiveness of a standard notation hel...
137
click to vote
SEMWEB
2004
Springer
15 years 11 months ago
2004
Springer
Semantic Web resources — that is, knowledge representation formalisms existing in a distributed hypermedia system — require different addressing and processing models and capac...
162
click to vote
SIAMSC
2010
15 years 1 months ago
2010
We present a line-search algorithm for large-scale continuous optimization. The algorithm is matrix-free in that it does not require the factorization of derivative matrices. Inste...
152
click to vote
ICTAC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a synchronous approach to real-time reactive programming in Lucid enriched with contexts as first class objects. The declarative intensional approach allows r...