4966 search results - page 139 / 994 » its 2010 |
152
click to vote
ENTCS
2007
15 years 6 months ago
2007
We present a new specification/implementation of the mobile agent language Mobile Maude. This new version uses the external sockets provided by Maude since its 2.2 version, thus ...
162
click to vote
ENTCS
2007
15 years 6 months ago
2007
We are advocating a component-oriented software development approach that provides support for a clear separation between the computational and the compositional entities of an ap...
168
click to vote
ENTCS
2007
15 years 6 months ago
2007
Many modern program verifiers translate the program to be verified and its specification into a simple intermediate representation and then compute verification conditions on ...
137
click to vote
EOR
2007
15 years 6 months ago
2007
The dynamics and throughput of a bucket brigade production system is studied when workersÕ speeds increase due to learning. It is shown that, if the rules of the bucket brigade s...
142
click to vote
EOR
2007
15 years 6 months ago
2007
Instead of selling advertisement spots one by one, some French satellite channels decided in 2002 to modify their commercial offer in order to sell packages of spots. These new g...