3335 search results - page 332 / 667 » Grid result checking |
169
click to vote
ANTSW
2008
Springer
15 years 8 months ago
2008
Springer
We propose to integrate ACO in a Constraint Programming (CP) language. Basically, we use the CP language to describe the problem to solve by means of constraints and we use the CP ...
162
click to vote
DSD
2006
IEEE
15 years 8 months ago
2006
IEEE
The paper deals with synthesis technique for designing circuits with cascade errors detection. The proposed technique is based on partitioning a scheme into a number of cascades f...
172
click to vote
JIISIC
2008
15 years 8 months ago
2008
This article presents an experience report on using MERODE as the business modeling method for the development of a web application. MERODE has several advantages as improving the...
155
click to vote
FMOODS
2006
15 years 8 months ago
2006
Abstract. We use a distributed, enriched -calculus for describing networks of services. Both services and their clients can protect themselves, by imposing security constraints on ...
168
click to vote
MMS
2006
15 years 6 months ago
2006
: In order to reduce transmission costs and response time, mobile clients typically cache data locally. But, avoiding the usage of outdated data and maintaining the consistency of ...