Sciweavers

5352 search results - page 248 / 1071
» Modeling the socio-cultural context
Sort
View
CCS
2003
ACM
15 years 12 months ago
Buffer overrun detection using linear programming and static analysis
This paper addresses the issue of identifying buffer overrun vulnerabilities by statically analyzing C source code. We demonstrate a light-weight analysis based on modeling C stri...
Vinod Ganapathy, Somesh Jha, David Chandler, David...
DATE
2010
IEEE
163views Hardware» more  DATE 2010»
15 years 11 months ago
A methodology for the characterization of process variation in NoC links
—Associated with the ever growing integration scales is the increase in process variability. In the context of networkon-chip, this variability affects the maximum frequency that...
Carles Hernandez, Federico Silla, José Duat...
164
Voted
AGENTCL
2000
Springer
15 years 11 months ago
Investigating Interactions between Agent Conversations and Agent Control Components
Abstract. Exploring agent conversation in the context of fine-grained agent coordination research has raised several intellectual questions. The major issues pertain to interactio...
Thomas Wagner, Brett Benyo, Victor R. Lesser, Ping...
CHI
1994
ACM
15 years 10 months ago
Multitrees: enriching and reusing hierarchical structure
This paper introduces multitrees, a new type of structure for representing information. Multitrees are a class of directed acyclic graphs (DAGs) with the unusual property that the...
George W. Furnas, Jeff Zacks
FIW
2007
120views Communications» more  FIW 2007»
15 years 8 months ago
How to Guarantee Service Cooperation in Dynamic Environments?
The rise of communicating devices has led to more and more machine to machine applications. In this context devices can be modeled using serviceoriented computing. Furthermore serv...
Lionel Touseau