Sciweavers

4126 search results - page 562 / 826
» Modelling Electronic Organizations
Sort
View
IFL
2001
Springer
146views Formal Methods» more  IFL 2001»
15 years 11 months ago
Optimizations on Array Skeletons in a Shared Memory Environment
Map- and fold-like skeletons are a suitable abstractions to guide parallel program execution in functional array processing. However, when it comes to achieving high performance, i...
Clemens Grelck
182
Voted
MMMACNS
2001
Springer
15 years 11 months ago
Analyzing Separation of Duties in Petri Net Workflows
Abstract. With the rise of global networks like the Internet the importance of workflow systems is growing. However, security questions in such environments often only address secu...
Konstantin Knorr, Harald Weidner
ACMDIS
2000
ACM
15 years 11 months ago
The Social Life of Engineering Authorizations
We may view documents, not only as “containers” for information, but also as active participants in organizing and sustaining communities. This paper discusses our experiences...
William A. Stubblefield, Karen S. Rogers
METRICS
1999
IEEE
15 years 11 months ago
Function Point Measurement Tool for UML Design Specification
Function point analysis(FPA) was proposedto help measure the size of a computerizedbusiness information system. It is widely used in the actual software development. However, it h...
Takuya Uemura, Shinji Kusumoto, Katsuro Inoue
EUROPAR
1999
Springer
15 years 11 months ago
INTERLACE: An Interoperation and Linking Architecture for Computational Engines
Abstract. To aid in building high-performance computational environments, INTERLACE offers a framework for linking reusable computational engines in a heterogeneous distributed sy...
Matthew J. Sottile, Allen D. Malony