53390 search results - page 142 / 10678 » Computer Systems Analysis |
159
click to vote
ATVA
2008
Springer
15 years 7 months ago
2008
Springer
Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (Grns) that govern the functioning of livi...
169
click to vote
ASC
2004
15 years 4 months ago
2004
This paper proposes the applications of soft computing to deal with the constraints in conventional modelling techniques of the dynamic extrusion process. The proposed technique i...
168
click to vote
ENTCS
2007
15 years 4 months ago
2007
We present two enhancements of the functional language L which is used in the eriFun system to write programs and formulate statements about them. Context dependent procedures all...
158
click to vote
BMVC
2010
15 years 3 months ago
2010
We introduce a novel person identification method for a surveillance system of much wider area than conventional systems using CCTV cameras. In the proposed system, we install cam...
136
Voted
ICPPW
2005
IEEE
15 years 10 months ago
2005
IEEE
Grid enabled physics analysis requires a Workload Management System (WMS) that takes care of finding suitable computing resources to execute data intensive jobs. A typical exampl...