Sciweavers

1263 search results - page 29 / 253
» Timing Analysis of Body Area Network Applications
Sort
View
ATVA
2006
Springer
131views Hardware» more  ATVA 2006»
15 years 3 months ago
Timed Unfoldings for Networks of Timed Automata
Whereas partial order methods have proved their efficiency for the analysis of discrete-event systems, their application to timed systems remains a challenging research topic. Here...
Patricia Bouyer, Serge Haddad, Pierre-Alain Reynie...
117
Voted
IAJIT
2011
14 years 6 months ago
Social Issues in wireless sensor networks with healthcare perspective
: The recent advances in Wireless Sensor Networks have given rise to many application areas in healthcare. It has produced new field of Wireless Body Area Networks. Using wearable ...
Moshaddique Al Ameen, Kyung Sup Kwak
FMSD
2006
131views more  FMSD 2006»
14 years 11 months ago
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
Peter Csaba Ölveczky, José Meseguer, C...
CORR
2011
Springer
358views Education» more  CORR 2011»
14 years 6 months ago
Time-Varying Graphs and Social Network Analysis: Temporal Indicators and Metrics
Abstract. Most instruments - formalisms, concepts, and metrics for social networks analysis fail to capture their dynamics. Typical systems exhibit different scales of dynamics, ra...
Nicola Santoro, Walter Quattrociocchi, Paola Flocc...
ICMCS
2005
IEEE
109views Multimedia» more  ICMCS 2005»
15 years 5 months ago
Real-Time and Distributed AV Content Analysis System for Consumer Electronics Networks
The ever-increasing complexity of generic MultimediaContent-Analysis-based (MCA) solutions, their processing power demanding nature and the need to prototype and assess solutions ...
Jan Nesvadba, Pedro Fonseca, Alexander Sinitsyn, F...