Sciweavers

1259 search results - page 196 / 252
» Use Cases, Actions, and Roles
Sort
View
CORR
2010
Springer
174views Education» more  CORR 2010»
15 years 6 months ago
Hybrid Numerical Solution of the Chemical Master Equation
We present a numerical approximation technique for the analysis of continuous-time Markov chains that describe networks of biochemical reactions and play an important role in the ...
Thomas A. Henzinger, Maria Mateescu, Linar Mikeev,...
CORR
2010
Springer
184views Education» more  CORR 2010»
15 years 6 months ago
Image Pixel Fusion for Human Face Recognition
In this paper we present a technique for fusion of optical and thermal face images based on image pixel fusion approach. Out of several factors, which affect face recognition perfo...
Mrinal Kanti Bhowmik, Debotosh Bhattacharjee, Mita...
CORR
2008
Springer
99views Education» more  CORR 2008»
15 years 6 months ago
An Ontology-based Knowledge Management System for Industry Clusters
Knowledge-based economy forces companies in every country to group together as a cluster in order to maintain their competitiveness in the world market. The cluster development re...
Pradorn Sureephong, Nopasit Chakpitak, Yacine Ouzr...
JNW
2006
142views more  JNW 2006»
15 years 6 months ago
Incorruptible Self-Cleansing Intrusion Tolerance and Its Application to DNS Security
Despite the increased focus on security, critical information systems remain vulnerable to cyber attacks. The trend lends importance to the concept of intrusion tolerance: there is...
Yih Huang, David Arsenault, Arun Sood
JOT
2007
169views more  JOT 2007»
15 years 6 months ago
Translating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols
Agents Interaction Protocols (AIPs) play a crucial role in multi-agents systems development. They allow specifying sequences of messages between agents. Major proposed protocols s...
Farid Mokhati, Noura Boudiaf, Mourad Badri, Linda ...