Sciweavers

6047 search results - page 265 / 1210
» Modeling with Extend
Sort
View
ENTCS
2007
140views more  ENTCS 2007»
15 years 4 months ago
Secured Information Flow for Asynchronous Sequential Processes
We present in this article a precise security model for data confidentiality in the framework of ASP (Asynchronous Sequential Processes). ASP is based on active objects, asynchro...
Isabelle Attali, Denis Caromel, Ludovic Henrio, Fe...
CP
2007
Springer
15 years 10 months ago
Hierarchical Hardness Models for SAT
Abstract. Empirical hardness models are a recent approach for studying NP-hard problems. They predict the runtime of an instance using efficiently computable features. Previous res...
Lin Xu, Holger H. Hoos, Kevin Leyton-Brown
INFOCOM
2010
IEEE
15 years 2 months ago
Cross-layer Optimization for Wireless Networks with Deterministic Channel Models
Abstract—Existing work on cross-layer optimization for wireless networks adopts simple physical-layer models, i.e., treating interference as noise. In this paper, we adopt a dete...
Ziyu Shao, Minghua Chen, Salman Avestimehr, Shuo-Y...
ICWE
2010
Springer
15 years 9 months ago
A Flexible Rule-Based Method for Interlinking, Integrating, and Enriching User Data
Many Web applications provide personalized and adapted services and contents to their users. As these Web applications are becoming increasingly connected, a new interesting challe...
Erwin Leonardi, Fabian Abel, Dominik Heckmann, Eel...
140
Voted
SIAMAM
2000
79views more  SIAMAM 2000»
15 years 4 months ago
A Mathematical Model for Spatially Varying Extracellular Matrix Alignment
Orientation of extracellular matrix fibers in the skin is a key ingredient of tissue appearance and function, and differences in fiber alignment are one of the main distinctions be...
John C. Dallon, Jonathan A. Sherratt