3765 search results - page 31 / 753 » Qualitative Action Systems |
AUSAI
1997
Springer
15 years 6 months 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...
110
click to vote
IFM
2007
Springer
15 years 8 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...
128
click to vote
EUC
2008
Springer
15 years 3 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
15 years 8 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...
101
click to vote
FMSB
2008
15 years 3 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...