397 search results - page 60 / 80 » Overview of LDPC Codes |
EWSA
2005
Springer
14 years 28 days 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...
UML
2005
Springer
14 years 26 days 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...
ZUM
2005
Springer
14 years 26 days 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...
MKM
2004
Springer
14 years 23 days 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...
IPPS
2003
IEEE
14 years 20 days 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...