Sciweavers

8810 search results - page 96 / 1762
» Open. Closed. Open
Sort
View
AMAST
2006
Springer
15 years 10 months ago
State Space Representation for Verification of Open Systems
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...
Irem Aktug, Dilian Gurov
AOSE
2006
Springer
15 years 10 months ago
Applying the Governance Framework Technique to Promote Maintainability in Open Multi-Agent Systems
Abstract. Governance means that specifications are enforced dynamically at application runtime. Governance framework is a technique to design and implement an extensible interactio...
Gustavo R. de Carvalho, Carlos José Pereira...
APNOMS
2006
Springer
15 years 10 months ago
An Open Service Platform at Network Edge
The last few years, users want various services that fit their needs and preferences. Many services are provided at network edges and are increasing in number. The open framework i...
Dong-Hui Kim, Jae-Oh Lee
ICSE
2000
IEEE-ACM
15 years 10 months ago
A case study of open source software development: the Apache server
According to its proponents, open source style software development has the capacity to compete successfully, and perhaps in many cases displace, traditional commercial developmen...
Audris Mockus, Roy T. Fielding, James D. Herbsleb
ISHPC
2000
Springer
15 years 10 months ago
Implementation and Evaluation of OpenMP for Hitachi SR8000
This paper describes the implementation and evaluation of the OpenMP compiler designed for the Hitachi SR8000 Super Technical Server. The compiler performs parallelization for the ...
Yasunori Nishitani, Kiyoshi Negishi, Hiroshi Ohta,...