Sciweavers

1411 search results - page 105 / 283
» Case Studies of an Insider Framework
Sort
View
IFIP
2007
Springer
15 years 5 months ago
Extending GQM by Argument Structures
Effective methods for metrics definition are of particular importance, as measurement mechanisms are indispensable in virtually any engineering discipline. The paper describes how ...
Lukasz Cyra, Janusz Górski
HICSS
2009
IEEE
117views Biometrics» more  HICSS 2009»
15 years 6 months ago
Understanding the "Boundary" in Information Sharing and Integration
The definition of “boundary” in the context of multiorganizational information sharing and integration initiatives is developed in the paper. Both current literature and a cas...
Lei Zheng, Tung-Mou Yang, Theresa A. Pardo, Yuanfu...
ICALP
2007
Springer
15 years 5 months ago
Linear Problem Kernels for NP-Hard Problems on Planar Graphs
Abstract. We develop a generic framework for deriving linear-size problem kernels for NP-hard problems on planar graphs. We demonstrate the usefulness of our framework in several c...
Jiong Guo, Rolf Niedermeier
94
Voted
ICDCSW
2003
IEEE
15 years 4 months ago
Survivable Multi-Level Ad-Hoc Group Operations
In this paper we investigate the survivability of multilevel ad-hoc groups for critical operations through a case study. We aim to provide a formal trust framework for establishin...
Dan Zhou, Jie Wu
AFP
1995
Springer
128views Formal Methods» more  AFP 1995»
15 years 2 months ago
Monads for Functional Programming
Abstract. The use of monads to structure functional programs is described. Monads provide a convenient framework for simulating effects found in other languages, such as global st...
Philip Wadler