Sciweavers

5314 search results - page 591 / 1063
» Hybrid Dynamic Programming
Sort
View
SFP
2003
15 years 9 months ago
Implementing Mobile Haskell
Abstract: Mobile computation enables computations to move between a dynamic set of locations, and is becoming an increasingly important paradigm. mHaskell is an extension of Haskel...
André Rauber Du Bois, Philip W. Trinder, Ha...
IWFM
2000
167views Formal Methods» more  IWFM 2000»
15 years 9 months ago
An Algebraic Basis for Specifying and Enforcing Access Control in Security Systems
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...
Claus Pahl
PC
2006
153views Management» more  PC 2006»
15 years 7 months ago
Algorithmic skeletons meeting grids
In this work, we discuss an extension of the set of principles that should guide the future design and development of skeletal programming systems, as defined by Cole in his ``pra...
Marco Danelutto, Marco Aldinucci
TOOLS
2010
IEEE
15 years 6 months ago
Understanding the Impact of Collection Contracts on Design
Abstract. Java provides a specification for a user-defined general purpose equivalence operator for objects, but collections such as Set have more stringent requirements. This in...
Stephen Nelson, David J. Pearce, James Noble
ISBI
2008
IEEE
16 years 8 months ago
Convex analysis and separation of composite signals in DCE-MRI
Dynamic functional imaging promises powerful tools for the visualization and elucidation of important diseasecausing biological processes, where the pixels often represent a compo...
Li Chen, Tsung-Han Chan, Peter L. Choyke, Chong-Yu...