2025 search results - page 148 / 405 » Software performance modelling using PEPA nets |
120
Voted
BROADNETS
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— Encounter-based network is a frequentlydisconnected wireless ad-hoc network requiring immediate neighbors to store and forward aggregated data for information dissemina...
134
click to vote
CEC
2005
IEEE
15 years 5 months ago
2005
IEEE
Biomechanics is a science of examining the internal and external forces on the human body. In biomechanics, forward dynamics simulation models can be used to study optimal control ...
204
Voted
CLIMA
2011
14 years 3 months ago
2011
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
126
click to vote
SPIN
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...
104
click to vote
AAAI
2010
15 years 4 months ago
2010
In several application areas for Planning, in particular helping with the creation of new processes in Business Process Management (BPM), a major obstacle lies in the modeling. Ob...