9210 search results - page 1352 / 1842 » Analyzing Real-Time Systems |
193
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
We introduce the All-Termination(T) problem: given a termination solver, T, and a program (a set of functions), find every set of formal arguments whose consideration is sufficie...
158
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Convergence of communication, consumer applications and computing within mobile systems pushes memory requirements both in terms of size, bandwidth and power consumption...
171
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
Multimedia social network is a network infrastructure in which the social network members share multimedia contents with all different purposes. Analyzing user behavior in multime...
175
click to vote
SEFM
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. We introduce a visual notation for local specification of concurrent components based on message sequence charts (MSCs). Each component is a finite-state machine whose ...
169
click to vote
SIES
2009
IEEE
16 years 1 months ago
2009
IEEE
—Sensor networks have been investigated in many scenarios and a good number of protocols have been developed. With the standardization of the IEEE 802.15.4 protocol, sensor netwo...