Sciweavers

2940 search results - page 348 / 588
» Behavioral Constraints for Services
Sort
View
RTS
2006
176views more  RTS 2006»
15 years 5 months ago
Verifying distributed real-time properties of embedded systems via graph transformations and model checking
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt
TKDE
2008
154views more  TKDE 2008»
15 years 5 months ago
Analyzing the Structure and Evolution of Massive Telecom Graphs
Abstract-- With ever growing competition in telecommunications markets, operators have to increasingly rely on business intelligence to offer the right incentives to their customer...
Amit Anil Nanavati, Rahul Singh, Dipanjan Chakrabo...
TWC
2008
125views more  TWC 2008»
15 years 5 months ago
Packet level performance analysis in wireless user-relaying networks
In this paper, the impact of user relaying on the behavior of a relay node, which acts as the source node at the same time, is analyzed in a wireless relay network at the packet le...
Jun Cai, Attahiru Sule Alfa, Pinyi Ren, Xuemin She...
GROUP
2010
ACM
15 years 3 months ago
Everyday favors: a case study of a local online gift exchange system
This paper focuses on online gift exchange in a setting where online and offline interactions are tightly intertwined and most of the exchanges require face-to-face interaction to...
Emmi Suhonen, Airi Lampinen, Coye Cheshire, Judd A...
262
Voted
SIGMOD
2006
ACM
123views Database» more  SIGMOD 2006»
16 years 6 months ago
Proactive identification of performance problems
We propose to demonstrate Fa, an automated tool for timely and accurate prediction of Service-Level-Agreement (SLA) violations caused by performance problems in database systems. ...
Songyun Duan, Shivnath Babu