This paper describes an agent system we have built to handle order entry and management issue in business computing and specialized in the telecommunication domain. Our system is ...
Calculi with explicit substitutions (ES) are widely used in different areas of computer science. Complex systems with ES were developed these last 15 years to capture the good comp...
This paper introduces the design of SymGrid, a new Grid framework that will, for the first time, allow multiple invocations of symbolic computing applications to interact via the ...
Kevin Hammond, Abdallah Al Zain, Gene Cooperman, D...
This article covers research work about unmanned helicopters that is being developed by the Portuguese SME IntRoSys, S.A. in the context of a generic project targeting the develop...
Prior characterizations of open source projects have been based on the model of a community-founded project. More recently, a second model has emerged, where organizations spinout...