25937 search results - page 194 / 5188 » Geographic Information Systems |
122
click to vote
CCS
2004
ACM
15 years 10 months ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
141
click to vote
HICSS
2009
IEEE
2009
IEEE
An Information Systems Design Product Theory for Software Project Estimation and Measurement Systems
15 years 8 months ago
: There is relatively little research on software Project Estimation and Measurement Systems (PEMS). Commercial PEMS vary in functionality and effectiveness. Their intended users t...
122
click to vote
ECIS
2001
15 years 6 months ago
2001
The web-technology is going through major changes these years, both with respect to types of systems based on web-technology, organization of the development work, required approa...
139
click to vote
SKG
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract. Global distributed systems must be standards-based to allow interoperability between all of their components. While this guarantees interoperability, it often causes loca...
