Sciweavers

1397 search results - page 164 / 280
» On the Need for Practical Formal Methods
Sort
View
GI
2000
Springer
15 years 8 months ago
Taming the Tiger: How to Cope with Real Database Products in Transactional Federations for Internet Applications
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...
Ralf Schenkel, Gerhard Weikum
141
Voted
APSEC
2006
IEEE
15 years 6 months ago
Using Operational Architecture to Model Embedded Software
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...
Sang-Uk Jeon, Jang-Eui Hong, Doo-Hwan Bae
PAMI
2002
78views more  PAMI 2002»
15 years 4 months ago
Robust Factorization
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...
Henrik Aanæs, Rune Fisker, Kalle Åstr&...
130
Voted
TRANSCI
2002
106views more  TRANSCI 2002»
15 years 4 months ago
The Stochastic Inventory Routing Problem with Direct Deliveries
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...
Anton J. Kleywegt, Vijay S. Nori, Martin W. P. Sav...
CHI
2009
ACM
16 years 5 months ago
Spectator understanding of error in performance
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...
A. Cavan Fyans, Michael Gurevich, Paul Stapleton