Sciweavers

3082 search results - page 578 / 617
» New Bounds for the Controller Problem
Sort
View
AOSD
2008
ACM
15 years 6 months ago
AJANA: a general framework for source-code-level interprocedural dataflow analysis of AspectJ software
Aspect-oriented software presents new challenges for the designers of static analyses. Our work aims to establish systematic foundations for dataflow analysis of AspectJ software....
Guoqing Xu, Atanas Rountev
DIM
2005
ACM
15 years 6 months ago
Establishing and protecting digital identity in federation systems
We develop solutions for the security and privacy of user identity information in a federation. By federation we mean a group of organizations or service providers which have buil...
Abhilasha Bhargav-Spantzel, Anna Cinzia Squicciari...
RECSYS
2010
ACM
15 years 4 months ago
Affiliation recommendation using auxiliary networks
Social network analysis has attracted increasing attention in recent years. In many social networks, besides friendship links amongst users, the phenomenon of users associating th...
Vishvas Vasuki, Nagarajan Natarajan, Zhengdong Lu,...
ASC
2007
15 years 4 months ago
An approximate stability analysis of nonlinear systems described by Universal Learning Networks
Stability is one of the most important subjects in control systems. As for the stability of nonlinear dynamical systems, Lyapunov’s direct method and linearized stability analys...
Kotaro Hirasawa, Shingo Mabu, Shinji Eto, Jinglu H...
ENVSOFT
2010
105views more  ENVSOFT 2010»
15 years 4 months ago
Air pollution, economic activity and respiratory illness: Evidence from Canadian cities, 1974-1994
Many studies have reported a relationship between urban air pollution levels and respiratory health problems. However, there are notable variations in results, depending on modeli...
Gary Koop, Ross McKitrick, Lise Tole