2736 search results - page 352 / 548 » Understanding programmer language |
193
click to vote
ACMSE
2006
ACM
16 years 17 days ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
171
click to vote
APLAS
2006
ACM
16 years 17 days ago
2006
ACM
XML transformations are most naturally defined as recursive functions on trees. Their direct implementation, however, causes inefficient memory usage because the input XML tree is...
149
click to vote
UIST
2006
ACM
16 years 16 days ago
2006
ACM
This article describes SwingStates, a library that adds state machines to the Java Swing user interface toolkit. Unlike traditional approaches, which use callbacks or listeners to...
176
click to vote
AINA
2005
IEEE
16 years 6 days ago
2005
IEEE
This paper presents an interactive analysis and visualization framework for behavior histories, called mPATH framework. In ubiquitous computing environment, it is possible to infe...
167
click to vote
ICDCS
2005
IEEE
16 years 6 days ago
2005
IEEE
Wireless sensor networks (WSNs) are difficult to program and usually run statically-installed software limiting its flexibility. To address this, we developed Agilla, a new midd...