Sciweavers

1179 search results - page 123 / 236
» Event Model Interfaces for Heterogeneous System Analysis
Sort
View
153
Voted
CMG
2003
15 years 4 months ago
{Performance Modeling and Evaluation of Large-Scale J2EE Applications
The queueing Petri net (QPN) paradigm provides a number of benefits over conventional modeling paradigms such as queueing networks and generalized stochastic Petri nets. Using qu...
Samuel Kounev, Alejandro P. Buchmann
110
Voted
JCC
2011
133views more  JCC 2011»
14 years 10 months ago
MIBPB: A software package for electrostatic analysis
: The Poisson–Boltzmann equation (PBE) is an established model for the electrostatic analysis of biomolecules. The development of advanced computational techniques for the soluti...
Duan Chen, Zhan Chen, Changjun Chen, Weihua Geng, ...
127
Voted
ICCS
2005
Springer
15 years 9 months ago
Modelling Dynamics of Genetic Networks as a Multiscale Process
A key phenomenon in the dynamics of genetic networks is the cell cycle. In the study of this phenomenon, an important task is to understand how many processes, acting on different...
Xilin Wei, Roderick V. N. Melnik, Gabriel Moreno-H...
116
Voted
RTS
2008
131views more  RTS 2008»
15 years 3 months ago
Formal verification of multitasking applications based on timed automata model
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...
Libor Waszniowski, Zdenek Hanzálek
IWNAS
2008
IEEE
15 years 10 months ago
Event-based Trust Framework Model in Wireless Sensor Networks
The security of wireless sensor networks is ever more important nowadays. Most of the proposed security protocols in wireless sensor networks are based on authentication and encry...
Haiguang Chen, Huafeng Wu, Jinchu Hu, Chuanshan Ga...