106 search results - page 18 / 22 » Reflective Analysis of the Syntax and Semantics of the i* Fr... |
CIKM
2010
Springer
13 years 6 months ago
2010
Springer
Enterprises provide professionally authored content about their products/services in different languages for use in web sites and customer care. For customer care, personalization...
DGO
2008
13 years 9 months ago
2008
UrbanSim is a modeling system for simulating the development of urban regions over periods of 20-30 years. Its purpose is to help evaluate alternative proposed policies and transp...
DSN
2008
IEEE
14 years 2 months ago
2008
IEEE
: Automated tools for understanding application behavior and its changes during the application life-cycle are essential for many performance analysis and debugging tasks. Applicat...
ICSE
2010
IEEE-ACM
13 years 10 months ago
2010
IEEE-ACM
The feature list of modern IDEs is steadily growing and mastering these tools becomes more and more demanding, especially for novice programmers. Despite their remarkable capabili...
PLDI
2009
ACM
14 years 2 months ago
2009
ACM
We present the first machine-checked correctness proof for information flow control (IFC) based on program dependence graphs (PDGs). IFC based on slicing and PDGs is flow-sensi...