1397 search results - page 164 / 280 » On the Need for Practical Formal Methods |
150
click to vote
GI
2000
Springer
15 years 8 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...
141
Voted
APSEC
2006
IEEE
15 years 6 months ago
2006
IEEE
Almost methods in embedded software modeling take software architecture as one of the crucial parts of the design process. Since a principal role of embedded software is the inter...
140
click to vote
PAMI
2002
15 years 4 months ago
2002
Factorization algorithms for recovering structure and motion from an image stream have many advantages, but they usually require a set of well tracked features. Such a set is in g...
130
Voted
TRANSCI
2002
15 years 4 months ago
2002
Vendor managed inventory replenishment is a business practice in which vendors monitor their customers' inventories, and decide when and how much inventory should be replenis...
131
click to vote
CHI
2009
ACM
16 years 5 months ago
2009
ACM
The development of computer-based devices for music control has created a need to study how spectators understand new performance technologies and practices. As a part of a larger...