Sciweavers

1050 search results - page 4 / 210
» Towards programming for the non-technical
Sort
View
DMS
2010
147views Multimedia» more  DMS 2010»
13 years 6 months ago
Towards Security-aware Program Visualization for Analyzing In-lined Reference Monitors
In-lined Reference Monitoring frameworks are an emerging technology for enforcing security policies over untrusted, mobile, binary code. However, formulating correct policy specifi...
Aditi Patwardhan, Kevin W. Hamlen, Kendra Cooper
CORR
2009
Springer
67views Education» more  CORR 2009»
13 years 6 months ago
Towards the Safe Programming of Wireless Sensor Networks
Francisco Martins, Luís M. B. Lopes, Jo&ati...
MP
2010
149views more  MP 2010»
13 years 7 months ago
Copositive programming motivated bounds on the stability and the chromatic numbers
The Lov´asz theta number of a graph G can be viewed as a semidefinite programming relaxation of the stability number of G. It has recently been shown that a copositive strengthe...
Igor Dukanovic, Franz Rendl
JSS
2000
59views more  JSS 2000»
13 years 8 months ago
Quantifying the closeness between program components and features
One of the most important steps towards eective software maintenance of a large complicated system is to understand how program features are spread over the entire system and thei...
W. Eric Wong, Swapna S. Gokhale, Joseph Robert Hor...