Sciweavers

3233 search results - page 326 / 647
» Rule Modeling and Markup
Sort
View
POLICY
2007
Springer
16 years 26 days ago
Proteus: A Semantic Context-Aware Adaptive Policy Model
The growing diffusion of portable devices enables users to benefit from anytime and anywhere impromptu collaboration. Appropriate policy models that take into account the dynamici...
Alessandra Toninelli, Rebecca Montanari, Lalana Ka...
TACAS
2007
Springer
92views Algorithms» more  TACAS 2007»
16 years 25 days 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
LAWEB
2006
IEEE
16 years 23 days ago
Modeling and Composing Navigational Concerns in Web Applications. Requirements and Design Issues
Complex applications, in particular Web applications, deal with a myriad of different concerns and some of them affect several others. The result is that these crosscutting concer...
Silvia E. Gordillo, Gustavo Rossi, Ana Moreira, Jo...
CSB
2005
IEEE
140views Bioinformatics» more  CSB 2005»
16 years 11 days ago
TPR Packing Analysis and 3D Modeling for the HAT Domain of Human Crooked Neck Protein
Human crooked neck protein (hcrn) containing 17 HAT or TPR repeats plays a role in pre-mRNA processing. Conserved residues in the TPR consensus sequence of 34 aa were found at hel...
Zhenglin Hou, Cunxi Wang, Odd-Arne Olsen
DATE
2005
IEEE
121views Hardware» more  DATE 2005»
16 years 11 days ago
C Compiler Retargeting Based on Instruction Semantics Models
Efficient architecture exploration and design of application specific instruction-set processors (ASIPs) requires retargetable software development tools, in particular C compil...
Jianjiang Ceng, Manuel Hohenauer, Rainer Leupers, ...