397 search results - page 60 / 80 » Overview of LDPC Codes |
105
Voted
EWSA
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In this paper we present a systematic check of the conformance of the implemented and the intended software architecture. Nowadays industry is confronted with rapidly evo...
123
Voted
UML
2005
Springer
15 years 8 months ago
2005
Springer
This paper overviews the Modeling Turnpike (mTurnpike) project, which investigates a generic model-driven development framework that supports various domain-specific solutions (i.e...
119
Voted
ZUM
2005
Springer
15 years 8 months ago
2005
Springer
The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecki...
107
Voted
MKM
2004
Springer
15 years 8 months ago
2004
Springer
This paper describes technologies to create and maintain a problem solving environment based on a framework for distributed mathematical web services. Our approach allows clients t...
102
Voted
IPPS
2003
IEEE
15 years 8 months ago
2003
IEEE
: The object abstraction has long proven to be an effective foundation upon which to structure application codes; however, its application to Grid Computing contains many challenge...