5984 search results - page 822 / 1197 » The Informal Nature of Systems Engineering |
193
Voted
FOSSACS
2004
Springer
16 years 1 months ago
2004
Springer
More than a decade ago, Moller and Tofts published their seminal work on relating processes that are annotated with lower time bounds, with respect to speed. Their paper has left o...
217
Voted
ICSOC
2004
Springer
16 years 1 months ago
2004
Springer
Service oriented computing, with its aim of unhindered interoperability, is an appropriate paradigm for ad hoc networks, which are characterized by physical mobility of heterogeno...
220
Voted
SEKE
2004
Springer
16 years 1 months ago
2004
Springer
The development of class models using the Rational Unified Process (RUP) requires complete, correct and unambiguous use case specification documents. The Use Case Driven Developmen...
224
click to vote
SIGADA
2004
Springer
16 years 1 months ago
2004
Springer
Genetic Algorithms provide computational procedures that are modeled on natural genetic system mechanics, whereby a coded solution is “evolved” from a set of potential solutio...
163
Voted
FOSSACS
2003
Springer
16 years 28 days ago
2003
Springer
Abstract. We solve the problem of extending Bird and Paterson’s generalized folds for nested datatypes and its dual to inductive and coinductive constructors of arbitrarily high ...