1008 search results - page 97 / 202 » Multiobjective process controllability analysis |
SAFECOMP
1998
Springer
14 years 1 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
DSD
2008
IEEE
14 years 4 months ago
2008
IEEE
— The mobile communication systems today, have different radio spectrum, radio access technologies, and protocol stacks depending on the network being utilized. This gives rise t...
APIN
1998
13 years 10 months ago
1998
Process algebra are formal languages used for the rigorous specification and analysis of concurrent systems. By using a process algebra as the target language of a genetic program...
PADS
1999
ACM
14 years 2 months ago
1999
ACM
In an attempt to cope with time-varying workload, traditional adaptive Time Warp protocols are designed to react in response to performance changes by altering control parameter c...
AVI
2006
13 years 11 months ago
2006
In this paper, we focus on evaluating how information visualization supports exploration for visual table data. We present a controlled experiment designed to evaluate how the lay...