Sciweavers

789 search results - page 92 / 158
» Pushing using Compliance
Sort
View
WSC
2007
15 years 3 months ago
A supply chain paradigm to model business pprocesses at the Y-12 National Security Complex
The NNSA’s Y-12 National Security Complex is a manufacturing facility operated by BWXT Y-12. Y-12’s missions include ensuring the US’ nuclear weapons deterrent, storing nucl...
Reid L. Kress, Jack Dixon, Thomas M. Insalaco, Ric...
BIRTHDAY
2005
Springer
15 years 3 months ago
A Mobility Calculus with Local and Dependent Types
Abstract. We introduce an ambient-based calculus that combines ambient mobility with process mobility, uses group names to collect ambients with homologous features, and exploits c...
Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ci...
BCSHCI
2007
15 years 2 months ago
ALT text and basic accessibility
Recent surveys have shown that the majority of websites are not accessible. Despite legal obligations and the importance of the internet for disabled people, most websites fail to...
Tom McEwan, Ben Weerts
AAAI
1996
15 years 2 months ago
The NASA Personnel Security Processing Expert System
The NASA Personnel Security Processing Expert System is a tool that automatically determines the appropriate personnel background investigation required for a civil servant or con...
David Silberberg, Robert Thomas
ATAL
2009
Springer
15 years 2 months ago
Directed Deadline Obligations in Agent-Based Business Contracts
There are B2B relationships that presume cooperation in contract enactment. This issue should be taken into account when modeling, for computational handling, contractual commitmen...
Henrique Lopes Cardoso, Eugénio C. Oliveira