Sciweavers

583 search results - page 90 / 117
» Cognitive development and qualitative modelling
Sort
View
INFSOF
2002
147views more  INFSOF 2002»
13 years 9 months ago
On the efficiency of domain-based COTS product selection method
Use of commercial-off-the-shelf (COTS) products is becoming a popular software development method. Current methods of selecting COTS products involve using the intuition of softwa...
Karl R. P. H. Leung, Hareton K. N. Leung
IPPS
2009
IEEE
14 years 4 months ago
Predictive analysis and optimisation of pipelined wavefront computations
Pipelined wavefront computations are a ubiquitous class of parallel algorithm used for the solution of a num­ ber of scientific and engineering applications. This paper investig...
Gihan R. Mudalige, Simon D. Hammond, J. A. Smith, ...
HICSS
2009
IEEE
130views Biometrics» more  HICSS 2009»
14 years 4 months ago
A Systematic Approach to Improve Communication for Emergency Response
The importance of communication, information sharing and interoperability in an emergency response scenario have risen recently based on the frequency of disasters throughout the ...
Raheleh B. Dilmaghani, Ramesh R. Rao
CONCUR
2000
Springer
14 years 2 months ago
Verifying Quantitative Properties of Continuous Probabilistic Timed Automata
Abstract. We consider the problem of automatically verifying realtime systems with continuously distributed random delays. We generalise probabilistic timed automata introduced in ...
Marta Z. Kwiatkowska, Gethin Norman, Roberto Segal...
CN
2007
80views more  CN 2007»
13 years 9 months ago
A queueing analysis for the denial of service (DoS) attacks in computer networks
In most network security analysis, researchers mainly focus on qualitative studies on security schemes and possible attacks, and there are few papers on quantitative analysis in t...
Yang Wang, Chuang Lin, Quan-Lin Li, Yuguang Fang