54 search results - page 7 / 11 » A Usage Analysis with Bounded Usage Polymorphism and Subtypi... |
161
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...
188
click to vote
ICSOC
2009
Springer
15 years 3 months ago
2009
Springer
Several activities in service oriented computing can benefit from knowing ahead of time future properties of a given service composition. In this paper we focus on how statically i...
142
click to vote
IWMM
2007
Springer
15 years 11 months ago
2007
Springer
This article presents a heap space analysis for (sequential) Java bytecode. The analysis generates heap space cost relations which define at compile-time the heap consumption of ...
170
click to vote
INFOCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—The queueing performance of a (secondary) cognitive user is investigated for a hierarchical network where there are N independent and identical primary users. Each prima...
162
click to vote
INFOCOM
2007
IEEE
15 years 12 months ago
2007
IEEE
Abstract— This paper investigates the near-memoryless behavior of the service time for IEEE 802.11 saturated single-hop ad hoc networks. We show that the number of packets succes...