Sciweavers

1073 search results - page 91 / 215
» Reasoning about Continuous Processes
Sort
View
251
Voted
GIS
2008
ACM
16 years 4 months ago
Detecting basic topological changes in sensor networks by local aggregation
Wireless sensor networks (WSNs) can provide real-time information about geospatial environments, and so have the potential to play an important role in the monitoring of geographi...
Jixiang Jiang, Michael F. Worboys
HICSS
2003
IEEE
125views Biometrics» more  HICSS 2003»
15 years 8 months ago
Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
Andreas Ulrich, Hesham Hallal, Alexandre Petrenko,...
97
Voted
BCSHCI
2007
15 years 5 months ago
Second International Workshop on Physicality
When designing purely physical products we do not necessarily have to understand what it is about their physicality that makes them work - they simply have it. However, as we desi...
Devina Ramduny-Ellis, Alan J. Dix, Steve Gill
134
Voted
DLOG
2003
15 years 4 months ago
Status Report on Description Logics related Project in Korea
In this short position paper, the project of building intelligent business information infrastructure using semantic web, ontology, description logics, and other related knowledge...
Shinyoung Lim
117
Voted
ICMCS
2006
IEEE
117views Multimedia» more  ICMCS 2006»
15 years 9 months ago
Offering Differentiated Services in Peer-to-Peer Multimedia Multicast
In traditional overlay multicast network, all peers are treated as equal regardless of their importance and contribution to the network. In this paper, we consider that each user ...
Kan-Leung Cheng, Xing Jin, S.-H. Gary Chan