Sciweavers

4957 search results - page 197 / 992
» Simplifying Distributed System Development
Sort
View
IDEAS
2003
IEEE
112views Database» more  IDEAS 2003»
15 years 5 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
15 years 5 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
105
Voted
FMICS
2006
Springer
15 years 4 months 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
101
Voted
DMIN
2006
221views Data Mining» more  DMIN 2006»
15 years 2 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»
15 years 1 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...