Sciweavers

6199 search results - page 914 / 1240
» Monitoring the
Sort
View
VLDB
2000
ACM
119views Database» more  VLDB 2000»
15 years 10 months ago
Process Automation as the Foundation for E-Business
E-business is becoming the trademark of the 2000s. Companies are using the Web to communicate with their partners, connect with their back-end systems, and perform e-commerce tran...
Fabio Casati, Ming-Chien Shan
FPGA
1995
ACM
142views FPGA» more  FPGA 1995»
15 years 10 months ago
The Design of RPM: An FPGA-based Multiprocessor Emulator
Recent advances in Field-Programmable Gate Arrays (FPGA) and programmable interconnects have made it possible to build efficient hardware emulation engines. In addition, improveme...
Koray Öner, Luiz André Barroso, Sasan ...
LICS
1989
IEEE
15 years 10 months ago
Elf: A Language for Logic Definition and Verified Metaprogramming
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...
Frank Pfenning
CHI
2010
ACM
15 years 10 months ago
Push-and-pull switching: window switching based on window overlapping
We propose Push-and-Pull Switching, a window switching technique using window overlapping to implicitly define groups. Push-and-Pull Switching enables switching between groups and...
Quan Xu, Géry Casiez
EWSN
2010
Springer
15 years 10 months ago
An Adaptive Strategy for Energy-Efficient Data Collection in Sparse Wireless Sensor Networks
Sparse wireless sensor networks (WSNs) are being effectively used in several applications, which include transportation, urban safety, environment monitoring, and many others. Sens...
Mario Di Francesco, Kunal Shah, Mohan Kumar, Giuse...