2558 search results - page 214 / 512 » Model Composition Contracts |
127
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
We present a simple ant model that solves a discrete foraging problem. We describe simulations and provide a complete convergence analysis: we show that the ant population compute...
129
click to vote
CHARME
2003
Springer
15 years 10 months ago
2003
Springer
We consider the problem of bounded model checking of systems expressed in a decidable fragment of first-order logic. While model checking is not guaranteed to terminate for an ar...
119
click to vote
RSS
2007
15 years 6 months ago
2007
— A modeling method for representing belt object deformation is proposed. Deformation of belt objects such as film circuit boards or flexible circuit boards must be estimated f...
140
click to vote
WISE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. E-Negotiation is the process of conducting negotiations between business partners using electronic means. The interest in e-negotiation is motivated by its potential to p...
152
click to vote
IAJIT
2010
15 years 3 months ago
2010
: Web services are considered one of the main technologies which emerged in recent years, they provide an application integration technology that allows business applications to co...