Sciweavers

3152 search results - page 460 / 631
» Retrieval of Partial Documents
Sort
View
SPIN
2009
Springer
15 years 11 months ago
Tool Presentation: Teaching Concurrency and Model Checking
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
Mordechai Ben-Ari
HICSS
2006
IEEE
185views Biometrics» more  HICSS 2006»
15 years 11 months ago
Inter-Organisational Collaboration towards Process Integration in the Public Sector. E-Government Collaboration in Egypt
This paper demonstrates the importance of collaboration between government departments as a backbone for inter-organizational integration between agencies such as ministries. We a...
Inas E. Ezz, Anastasia Papazafeiropoulou
MKM
2004
Springer
15 years 10 months ago
CPoint: Dissolving the Author's Dilemma
Abstract. Automated knowledge management techniques critically depend on the availability of semantically enhanced documents which are hard to come by in practice. Starting from a ...
Andrea Kohlhase, Michael Kohlhase
SAC
2003
ACM
15 years 10 months ago
Streaming of DivX AVI Movies
In recent years the MPEG-4 ISO compression standard has gained much attention. With its high compression ratio it promises to make broadbandstreaming more feasible. However, curre...
Roger Zimmermann
COMPSAC
2002
IEEE
15 years 10 months ago
Object Identification in Legacy Code as a Grouping Problem
Maintenance is undoubtedly the most effort-consuming activity in software production whereby the entropy of legacy systems (e.g., due to redundancies, poor modularity and lack of ...
Houari A. Sahraoui, Petko Valtchev, Idrissa Konkob...