3729 search results - page 637 / 746 » On Formal Modeling of Agent Computations |
184
click to vote
EDOC
2008
IEEE
16 years 25 days ago
2008
IEEE
The definition and management of access rules (e.g., to control the access to business documents and business functions) is an important task within any enterprise information sy...
167
click to vote
ICPADS
2007
IEEE
16 years 20 days ago
2007
IEEE
Min, Veeravalli, and Barlas have recently proposed strategies to minimize the overall execution time of one or several divisible loads on a heterogeneous linear network, using one...
172
click to vote
HPCS
2006
IEEE
16 years 12 days ago
2006
IEEE
An eXtensible Markup Language (XML) based data model for the Global Geodynamics Project (GGP) has been previously developed. Mindful of the need to incorporate metadata into the d...
161
click to vote
ACMICEC
2006
ACM
16 years 10 days ago
2006
ACM
This paper addresses a problem in supply chain management that how scarce resources can be efficiently allocated among competing interests. We present a formal model of allocation...
175
click to vote
ACSD
2004
IEEE
15 years 10 months ago
2004
IEEE
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc s...