Sciweavers

2232 search results - page 202 / 447
» Formal Modeling and Analysis of Organizations
Sort
View
CMSB
2007
Springer
16 years 23 days ago
Expressive Models for Synaptic Plasticity
We explore some presynaptic mechanisms of the calyx of Held synapse through a stochastic model. The model, drawn from a kinetic approach developed in literature, exploits process c...
Andrea Bracciali, Marcello Brunelli, Enrico Catald...
SWAP
2007
15 years 7 months ago
Towards Social Semantic Suggestive Tagging
The organization of the knowledge on the web is increasingly becoming a social task performed by online communities whose members share a common interest in classifying different t...
Fabio Calefato, Domenico Gendarmi, Filippo Lanubil...
NAR
2007
65views more  NAR 2007»
15 years 6 months ago
STRING 7 - recent developments in the integration and prediction of protein interactions
Information on protein–protein interactions is still mostly limited to a small number of model organisms, and originates from a wide variety of experimental and computational te...
Christian von Mering, Lars Juhl Jensen, Michael Ku...
HICSS
2007
IEEE
110views Biometrics» more  HICSS 2007»
16 years 28 days ago
Managing Benefits from IS/IT Investments: An Empirical Investigation into Current Practice
In 1996 Ward et al reported the results of their UK study into the state of practice in evaluating and realizing benefits from IS/IT investments. This paper presents new empirical...
John Ward, Steven De Hertogh, Stijn Viaene
BROADNETS
2006
IEEE
16 years 20 days ago
How to Specify and How to Prove Correctness of Secure Routing Protocols for MANET
Secure routing protocols for mobile ad hoc networks have been developed recently, yet, it has been unclear what are the properties they achieve, as a formal analysis of these prot...
Panagiotis Papadimitratos, Zygmunt J. Haas, Jean-P...