Sciweavers

5457 search results - page 815 / 1092
» Software Component Independence
Sort
View
SEC
2004
15 years 8 months ago
Trusted Computing, Trusted Third Parties, and Verified Communications
Trusted Computing gives rise to a new supply of trusted third parties on which distributed systems can potentially rely. They are the secure system components (hardware and softwa...
Martín Abadi
192
Voted
SERP
2004
15 years 8 months ago
Using ZOOM Approach to Support MDD
Model-Driven Development (MDD) represents a positive step toward a general model-based approach to software engineering. The Object Management Group (OMG) offers a conceptual fram...
Xiaoping Jia, Adam Steele, Hongming Liu, Lizhang Q...
WSC
2001
15 years 8 months ago
A framework for distributed simulation optimization
The system presented bridges the gap between three different research areas: discrete event simulation, heuristic optimization methods and distributed systems technology. Its goal...
Björn Gehlsen, Bernd Page
PSSS
2003
15 years 8 months ago
Prolog-based Infrastructure for RDF: Scalability and Performance
The semantic web is a promising application-area for the Prolog programming language for its non-determinism and patternmatching. In this paper we outline an infrastructure for loa...
Jan Wielemaker, Guus Schreiber, Bob J. Wielinga
SERP
2003
15 years 8 months ago
Automating Feature-Oriented Domain Analysis
Feature modeling is commonly used to capture the commonalities and variabilities of systems in a domain during Domain Analysis. The output of feature modeling will be some reusabl...
Fei Cao, Barrett R. Bryant, Carol C. Burt, Zhishen...