2181 search results - page 29 / 437 » Standard Software as Microworld |
FOSSACS
2012
Springer
12 years 4 months ago
2012
Springer
We study type-directed encodings of the simply-typed λ-calculus in a session-typed π-calculus. The translations proceed in two steps: standard embeddings of simply-typed λ-calcu...
PAMI
2012
11 years 11 months ago
2012
—It has been shown that the Universum data, which do not belong to either class of the classification problem of interest, may contain useful prior domain knowledge for training...
SIGSAND
2008
13 years 10 months ago
2008
Configurable business software solutions are increasingly being implemented based on service oriented architectures (SOA). Hereunto model driven approaches for the definition and i...
EUROMICRO
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper describes an experience with a Software Process Improvement (SPI) approach particularly adapted to small structures with low software maturity level (e.g. small and med...
SCS
2001
13 years 10 months ago
2001
Standards for safety critical software usually either mandate or recommend development and assessment techniques which are deemed appropriate to reduce the risk of flaws in the so...