Sciweavers

1433 search results - page 190 / 287
» The Design of Large Real-Time Systems: The Time-Triggered Ap...
Sort
View
NOMS
2008
IEEE
123views Communications» more  NOMS 2008»
15 years 5 months ago
Model-based management of security services in complex network environments
Abstract—The security mechanisms employed in current networked environments are increasingly complex, and their configuration management has an important role for the protection...
João Porto de Albuquerque, Heiko Krumm, Pau...
TASE
2008
IEEE
14 years 11 months ago
Modeling and Supervisory Control of Railway Networks Using Petri Nets
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...
Alessandro Giua, Carla Seatzu
TSE
2002
119views more  TSE 2002»
14 years 11 months ago
Testing Homogeneous Spreadsheet Grids with the "What You See Is What You Test" Methodology
Although there has been recent research into ways to design environments that enable end users to create their own programs, little attention has been given to helping these end u...
Margaret M. Burnett, Andrei Sheretov, Bing Ren, Gr...
WWW
2007
ACM
15 years 12 months ago
Google news personalization: scalable online collaborative filtering
Several approaches to collaborative filtering have been studied but seldom have studies been reported for large (several million users and items) and dynamic (the underlying item ...
Abhinandan Das, Mayur Datar, Ashutosh Garg, ShyamS...
SIGIR
2010
ACM
15 years 3 months ago
Effective music tagging through advanced statistical modeling
Music information retrieval (MIR) holds great promise as a technology for managing large music archives. One of the key components of MIR that has been actively researched into is...
Jialie Shen, Wang Meng, Shuichang Yan, HweeHwa Pan...