5434 search results - page 717 / 1087 » Tool support for MOLA |
157
click to vote
CL
2004
Springer
15 years 6 months ago
2004
Springer
A new algorithm is introduced for analyzing possible nestings in mobile ambient calculus. It improves both time and space complexities of the technique proposed by Nielson and Sei...
192
click to vote
CL
2004
Springer
15 years 6 months ago
2004
Springer
Much of the elegance and power of Smalltalk comes from its programming environment and tools. First introduced more than 20 years ago, the Smalltalk browser enables programmers to...
146
click to vote
COMPLEXITY
2004
15 years 6 months ago
2004
nical Abstract Optimization is to find the "best" solution to a problem where the quality of a solution can be measured by a given criterion. Estimation of Distribution A...
165
click to vote
AIS
2000
Springer
15 years 6 months ago
2000
Springer
Tailorability is generally regarded as a key property of groupware systems due to the dynamics and differentiation of cooperative work. This article investigates the use of softwa...
129
click to vote
CN
2000
15 years 6 months ago
2000
The Boeing Commercial Airplanes Wing Responsibility Center (WRC) needed a way to communicate quickly and effectively between its various plant locations. An important requirement ...