3765 search results - page 31 / 753 » Qualitative Action Systems |
AUSAI
1997
Springer
14 years 25 days ago
1997
Springer
In order to support verification, validation and analysis of dynamic Operations Research (OR) models a method of testing models against data is required. In the case of the QCM qu...
IFM
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Event-B is a notation and method for discrete systems modelling by refinement. We introduce a small but very useful construction: qualitative probabilistic choice. It ex...
EUC
2008
Springer
13 years 10 months ago
2008
Springer
This paper presents a qualitative risk analysis of the General Packet Radio Service (GPRS) technology. GPRS presents several essential security weaknesses which may lead to securi...
HICSS
2006
IEEE
14 years 2 months ago
2006
IEEE
Intergroup coordination is critical for the success of software projects. This paper examines the impact of Chinese national culture on intergroup coordination success factors thr...
FMSB
2008
13 years 10 months ago
2008
Petri nets are a widely used formalism to qualitatively model concurrent systems such as a biological cell. We present techniques for modelling biological processes as Petri nets f...