Sciweavers

10274 search results - page 1756 / 2055
» Lean Software Development
Sort
View
ARCS
2004
Springer
16 years 2 days ago
Cryptonite - A Programmable Crypto Processor Architecture for High-Bandwidth Applications
Cryptographic methods are widely used within networking and digital rights management. Numerous algorithms exist, e.g. spanning VPNs or distributing sensitive data over a shared ne...
Rainer Buchty, Nevin Heintze, Dino Oliva
ATAL
2004
Springer
16 years 2 days ago
Multiagent Planning as Control Synthesis
This paper proposes a new multiagent planning approach to coordination synthesis that views distributed agents as discrete-event processes. The connection between discreteevent co...
Kiam Tian Seow, Chuan Ma, Makoto Yokoo
CAISE
2004
Springer
16 years 2 days ago
CoDoc: Multi-mode Collaboration over Documents
Abstract. In software engineering as well as in any engineering domain, a way of customizing the collaborative work to various modes of collaboration, i.e. synchronous and asynchro...
Claudia-Lavinia Ignat, Moira C. Norrie
CCS
2004
ACM
16 years 2 days ago
Lessons learned using alloy to formally specify MLS-PCA trusted security architecture
In order to solve future Multi Level Security (MLS) problems, we have developed a solution based on the DARPA Polymorphous Computing Architecture (PCA). MLS-PCA uses a novel distr...
Brant Hashii
ECAI
2004
Springer
16 years 2 days ago
Tractability Results for Automatic Contracting
Abstract. Automated negotiation techniques have received considerable attention over the past decade, and much progress has been made in developing negotiation protocols and strate...
Paul E. Dunne, Michael Laurence, Michael Wooldridg...
« Prev « First page 1756 / 2055 Last » Next »