Sciweavers

33 search results - page 4 / 7
» Switchblade: enforcing dynamic personalized system call mode...
Sort
View
TACAS
2007
Springer
92views Algorithms» more  TACAS 2007»
14 years 1 months ago
Model Checking Liveness Properties of Genetic Regulatory Networks
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
Grégory Batt, Calin Belta, Ron Weiss
ICALT
2007
IEEE
14 years 1 months ago
The Web 2.0 Driven SECI Model Based Learning Process
Nonaka and his knowledge transformation model SECI revolutionized the thinking about organizations as social learning systems. He introduced technical concepts like hypertext into...
Mohamed Amine Chatti, Ralf Klamma, Matthias Jarke,...
SOSP
2003
ACM
14 years 4 months ago
Model-carrying code: a practical approach for safe execution of untrusted applications
This paper presents a new approach called model-carrying code (MCC) for safe execution of untrusted code. At the heart of MCC is the idea that untrusted code comes equipped with a...
R. Sekar, V. N. Venkatakrishnan, Samik Basu, Sande...
SIGMOD
2010
ACM
249views Database» more  SIGMOD 2010»
14 years 6 days ago
Active knowledge: dynamically enriching RDF knowledge bases by web services
The proliferation of knowledge-sharing communities and the advances in information extraction have enabled the construction of large knowledge bases using the RDF data model to re...
Nicoleta Preda, Gjergji Kasneci, Fabian M. Suchane...
CORR
2010
Springer
188views Education» more  CORR 2010»
13 years 7 months ago
A physically-based particle model of emergent crowd behaviors
This paper presents a modeling process in order to produce a realistic simulation of crowds in the ancient Greek agora of Argos. This place was a social theater in which two kinds...
Laure Heïgéas, Annie Luciani, Joë...