2181 search results - page 29 / 437 » Standard Software as Microworld |
123
click to vote
FOSSACS
2012
Springer
13 years 8 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...
127
Voted
PAMI
2012
13 years 3 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...
112
click to vote
SIGSAND
2008
15 years 2 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...
103
Voted
EUROMICRO
2006
IEEE
15 years 6 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...
91
Voted
SCS
2001
15 years 2 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...