3152 search results - page 460 / 631 » Retrieval of Partial Documents |
147
click to vote
SPIN
2009
Springer
15 years 11 months ago
2009
Springer
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...
135
click to vote
HICSS
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper demonstrates the importance of collaboration between government departments as a backbone for inter-organizational integration between agencies such as ministries. We a...
140
click to vote
MKM
2004
Springer
15 years 10 months ago
2004
Springer
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 ...
155
click to vote
SAC
2003
ACM
15 years 10 months ago
2003
ACM
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...
120
click to vote
COMPSAC
2002
IEEE
15 years 10 months ago
2002
IEEE
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 ...