3152 search results - page 460 / 631 » Retrieval of Partial Documents |
205
click to vote
SPIN
2009
Springer
16 years 1 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...
168
Voted
HICSS
2006
IEEE
16 years 1 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...
169
Voted
MKM
2004
Springer
16 years 12 days 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 ...
195
click to vote
SAC
2003
ACM
16 years 8 days 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...
155
Voted
COMPSAC
2002
IEEE
16 years 6 hour 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 ...