Sciweavers

4957 search results - page 197 / 992
» Simplifying Distributed System Development
Sort
View
IDEAS
2003
IEEE
112views Database» more  IDEAS 2003»
14 years 2 months ago
Persistent Applications via Automatic Recovery
Building highly available enterprise applications using web-oriented middleware is hard. Runtime implementations frequently do not address the problems of application state persis...
Roger S. Barga, David B. Lomet, Stelios Paparizos,...
TABLEAUX
2009
Springer
14 years 1 months ago
Tableaux for Projection Computation and Knowledge Compilation
Projection computation is a generalization of second-order quantifier elimination, which in turn is closely related to the computation of forgetting and of uniform interpolants. O...
Christoph Wernhard
FMICS
2006
Springer
14 years 29 days ago
Verified Design of an Automated Parking Garage
Parking garages that stow and retrieve cars automatically are becoming viable solutions for parking shortages. However, these are complex systems and a number of severe incidents i...
Aad Mathijssen, A. Johannes Pretorius
DMIN
2006
221views Data Mining» more  DMIN 2006»
13 years 10 months ago
Color Image Segmentation Using Pulse-Coupled Neural Network for Locusts Detection
- Pulse-coupled neural network (PCNN) is different from traditional artificial neural networks, which can be applied in many fields, such as image processing. A crucial step in dev...
Xuemei Xiong, Yiming Wang, Xiaochao Zhang
ULPAA
1994
143views Hardware» more  ULPAA 1994»
13 years 10 months ago
Configuring Function-based Communication Protocols for Multimedia Applications
Next generation communication systems must support diverse applications operating over high-performance local, metropolitan, and wide area networks. This paper describes a framewo...
Douglas C. Schmidt, Burkhard Stiller, Tatsuya Suda...