4350 search results - page 556 / 870 » Case studies for contract-based systems |
205
click to vote
QSIC
2005
IEEE
16 years 13 days ago
2005
IEEE
We propose a software requirements analysis method based on domain ontology technique, where we can establish a mapping between a software requirements specification and the doma...
162
click to vote
SEFM
2005
IEEE
16 years 13 days ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
189
click to vote
MMSEC
2005
ACM
16 years 12 days ago
2005
ACM
We propose a general framework for the detection of the LSB steganography using digital media files as cover objects. The new framework exploits high-order statistics of the samp...
197
click to vote
BERTINORO
2005
Springer
16 years 12 days ago
2005
Springer
Abstract Virtual path management in dynamic networks poses a number of challenges related to combinatorial optimisation, fault and traffic handling. Ideally such management should ...
184
Voted
CSCWD
2005
Springer
2005
Springer
Towards an engineering approach for groupware development: learning from the AulaNet LMS development
16 years 11 days ago
This paper presents the AulaNet learning management system, its architecture and the collaboration model that guided its development and that was refined during this process. A ca...