3199 search results - page 79 / 640 » Variability in Automation System Models |
133
click to vote
EAAI
2008
15 years 2 months ago
2008
Nowadays, many real problems can be formalized as Distributed CSPs. A distributed constraint satisfaction problem (DisCSP) is a CSP in which variables and constraints are distribu...
131
click to vote
JAR
2006
15 years 2 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
145
click to vote
SIGOPS
2010
14 years 9 months ago
2010
Finding an efficient configuration for cluster-based multi-tier Internet services is often a difficult task. Moreover, even a good configuration could become obsolete, depending o...
110
click to vote
EATIS
2007
ACM
15 years 6 months ago
2007
ACM
Mobile B2E-applications (business-to-employee) can add significant value to a company's business, when large workforce divisions are involved in the execution of certain busi...
126
click to vote
COMAD
2009
15 years 3 months ago
2009
In this paper, we present a feasibility study in automating the insurance claims processing system related to automotive sector. In automobile insurance claims processing, usually...