Sciweavers

16859 search results - page 2946 / 3372
» Generative software development
Sort
View
CAISE
2004
Springer
16 years 8 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 8 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 7 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...
EGH
2004
Springer
16 years 7 days ago
A flexible simulation framework for graphics architectures
In this paper we describe a multipurpose tool for analysis of the performance characteristics of computer graphics hardware and software. We are developing Qsilver, a highly conï¬...
Jeremy W. Sheaffer, David P. Luebke, Kevin Skadron
EKAW
2004
Springer
16 years 7 days ago
Knowledge Mediation: A Procedure for the Cooperative Construction of Domain Ontologies
In order to enable knowledge sharing and reuse among software entities, artificial intelligence researchers have proposed to develop ‘ontologies’ as the explicit formal specifi...
Felix-Robinson Aschoff, Franz Schmalhofer, Ludger ...
« Prev « First page 2946 / 3372 Last » Next »