21379 search results - page 345 / 4276 » The profession of IT - Evolutionary system development |
176
click to vote
APSEC
2005
IEEE
16 years 13 days ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
157
click to vote
ETFA
2005
IEEE
16 years 12 days ago
2005
IEEE
This paper describes the development of a multi-robot system for Area Reduction in Humanitarian Demining. In spite of the specific requirements imposed to the work being carried ...
136
click to vote
EUROMICRO
2005
IEEE
16 years 12 days ago
2005
IEEE
This paper reports on the development of QoSOnt: an ontology for Quality of Service (QoS). Particular focus is given to its application in the field of service-centric systems. Qo...
175
click to vote
PPAM
2005
Springer
16 years 8 days ago
2005
Springer
The paper presents various transparency issues that have to be considered during development of object-oriented Grid applications based on virtual repositories. Higher-level transp...
174
click to vote
ICFEM
2003
Springer
16 years 8 hour ago
2003
Springer
An existing distributed lift system was analyzed using the process algebraic language µCRL [7]. Four problems were found, three of which were also found independently by the devel...