Sciweavers

1321 search results - page 16 / 265
» RIGR - A Repository Model Based Approach to Management
Sort
View
CAISE
1997
Springer
15 years 3 months ago
OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods
OO-Method is an OO Methodology that blends the use of formal specification systems with conventional OO methodologies based on practice. In contrast to other approaches in this fi...
Oscar Pastor, Emilio Insfrán, Vicente Pelec...
BMCBI
2006
128views more  BMCBI 2006»
14 years 11 months ago
Model-driven user interfaces for bioinformatics data resources: regenerating the wheel as an alternative to reinventing it
Background: The proliferation of data repositories in bioinformatics has resulted in the development of numerous interfaces that allow scientists to browse, search and analyse the...
Kevin L. Garwood, Christopher Garwood, Cornelia He...
IJACTAICIT
2010
122views more  IJACTAICIT 2010»
14 years 9 months ago
Intelligent Integrated Management for Telecommunication Networks
As the size of communication networks keeps on growing, faster connections, cooperating technologies and the divergence of equipment and data communications, the management of the...
Antonio Martín, Carlos León, F&eacut...
IJHCR
2010
131views more  IJHCR 2010»
14 years 9 months ago
Opportunistic Software Deployment in Disconnected Mobile Ad Hoc Networks
This paper presents a middleware platform allowing the dissemination of software components on handheld devices forming a disconnected MANET. It is based on a model that exploits ...
Frédéric Guidec, Nicolas Le Sommer, ...
APPINF
2003
15 years 1 months ago
A Generated Management for Distributed Systems
An approach for specifying the management of a distributed system is herein described. Based on this formal approach, a management can be generated. The base of the specification ...
Thomas Peschel-Findeisen, Bertram Hütter