2702 search results - page 144 / 541 » Practically Applicable Formal Methods |
TIT
1998
14 years 9 months ago
1998
—An overview of the many practical applications of channel coding theory in the past 50 years is presented. The following application areas are included: deep space communication...
105
click to vote
ADBIS
2010
Springer
14 years 11 months ago
2010
Springer
al Partitioning by Predicate Abstraction and its Application to Data Warehouse Design Aleksandar Dimovski1 , Goran Velinov2 , and Dragan Sahpaski2 1 Faculty of Information-Communic...
114
click to vote
IEEESCC
2010
IEEE
14 years 8 months ago
2010
IEEE
Service-orientation and object-oriented design are common practice in the field of business application development. Business process execution languages help to facilitate the orc...
GI
2000
Springer
15 years 1 months ago
2000
Springer
Data consistency in transactional federations is a key requirement of advanced E-service applications on the Internet, such as electronic auctions or real-estate purchase. Federat...
75
Voted
DSN
2000
IEEE
15 years 2 months ago
2000
IEEE
We describe and test a software approach to overcoming radiation-induced errors in spaceborne applications running on commercial off-the-shelf components. The approach uses checks...