771 search results - page 48 / 155 » Modelling and Analysing Socio-Technical Systems |
CPE
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. This paper presents TimeNET, a software tool for the modelling and performability evaluation using stochastic Petri nets. The tool has been designed especially for models...
CAV
2010
Springer
15 years 2 months ago
2010
Springer
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
BMCBI
2005
14 years 10 months ago
2005
Background: The BioCreative text mining evaluation investigated the application of text mining methods to the task of automatically extracting information from text in biomedical ...
MUE
2008
IEEE
15 years 5 months ago
2008
IEEE
In this paper, a generalized multimedia database data model based on MPEG-7 named G3M is proposed and formally defined. Different from those XML Database Management System (DBMS) ...
CCECE
2006
IEEE
15 years 4 months ago
2006
IEEE
We develop a simple yet accurate analysis of the interference distribution in a cellular system, with particular emphasis on a two-hop fixed relay network, though the analysis may...