Sciweavers

2171 search results - page 222 / 435
» Cooperative Validation in Distributed Control Systems Design
Sort
View
SAC
2005
ACM
15 years 11 months ago
Formal modeling and quantitative analysis of KLAIM-based mobile systems
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
Rocco De Nicola, Diego Latella, Mieke Massink
SIGMOD
2010
ACM
305views Database» more  SIGMOD 2010»
15 years 10 months ago
MoveMine: mining moving object databases
With the maturity of GPS, wireless, and Web technologies, increasing amounts of movement data collected from various moving objects, such as animals, vehicles, mobile devices, and...
Zhenhui Li, Ming Ji, Jae-Gil Lee, Lu An Tang, Yint...
HICSS
2008
IEEE
192views Biometrics» more  HICSS 2008»
15 years 12 months ago
Agent-Based Electricity Balancing with Distributed Energy Resources, A Multiperspective Case Study
Abstract— Distributed generation (DG) of electricity is providing an increasing part of the worldwide electricity supply. At the same time, there is a big potential of demand res...
Koen Kok, Zsófia Derzsi, Jaap Gordijn, Maar...
COMPSAC
2002
IEEE
15 years 10 months ago
Design and Implementation of a Network Application Architecture for Thin Clients
This paper explores the issues and the techniques of enabling multimedia applications for the thin client computing. A prototype of a video communication system based on H.323 fam...
Chia-Chen Kuo, Ping Ting, Ming-Syan Chen, Jeng-Chu...
ADC
2006
Springer
110views Database» more  ADC 2006»
15 years 9 months ago
A heuristic approach to cost-efficient fragmentation and allocation of complex value databases
The quality of database distribution design, which involves fragmentation and allocation, should be assessed by the performance of a system. In particular, this applies to non-rel...
Hui Ma, Klaus-Dieter Schewe, Qing Wang