2243 search results - page 293 / 449 » Contracts for Mobile Processes |
160
click to vote
WSC
1998
15 years 7 months ago
1998
This paper presents the analysis of the optimization for the production of precast pieces in a workshop with the help of simulation to obtain several working alternatives. The mai...
187
click to vote
ISMB
1994
15 years 7 months ago
1994
A new version of the GRAIL system (Uberbacher and Mural, 1991; Mural et al., 1992; Uberbacher et al., 1993), called GRAILII, has recently been developed (Xu et al., 1994). GRAILII...
182
click to vote
AAAI
1990
15 years 7 months ago
1990
This session will explore the reasons for the lack of impact in four important areas in which AI has been expected to significantly affect real world Software Engineering. The pan...
160
click to vote
BC
2004
15 years 6 months ago
2004
It is known that the springlike properties of muscles provide automatic load compensation during weight bearing. How crucial is sensory control of the motor output given these basi...
167
click to vote
JBCS
2002
15 years 6 months ago
2002
Component Based Development (CBD) aims at constructing software through the integration, using interfaces and contracts, between pre-existing components. The main goal of this wor...