Sciweavers

3238 search results - page 219 / 648
» Not Enough Points Is Enough
Sort
View
ENTCS
2008
136views more  ENTCS 2008»
15 years 6 months ago
A Virtual Machine Based Information Flow Control System for Policy Enforcement
The ability to enforce usage policies attached to data in a fine grained manner requires that the system be able to trace and control the flow of information within it. This paper...
Srijith Krishnan Nair, Patrick N. D. Simpson, Brun...
ENTCS
2008
86views more  ENTCS 2008»
15 years 6 months ago
Game Semantics for Quantum Stores
This paper presents a game semantics for a simply-typed -calculus equipped with quantum stores. The quantum stores are equipped with quantum operations as commands which give the ...
Yannick Delbecque, Prakash Panangaden
ENTCS
2008
95views more  ENTCS 2008»
15 years 6 months ago
A Rule-based Method to Match Software Patterns Against UML Models
In a UML model, different aspects of a system are covered by different types of diagrams and this bears the risk that an overall system specification becomes barely tractable by t...
Demis Ballis, Andrea Baruzzo, Marco Comini
CLEIEJ
2006
108views more  CLEIEJ 2006»
15 years 6 months ago
Quality in Development Process for Software Factories According to ISO 15504
Currently the concept of Software Factories (SF), where reuse plays a leading role, is being adopted. Due to the different approaches in this area, and although SF concept is not ...
Kenyer Domínguez, María A. Pé...
CORR
2006
Springer
131views Education» more  CORR 2006»
15 years 6 months ago
A framework of reusable structures for mobile agent development
-- Mobile agents research is clearly aiming towards imposing agent based development as the next generation of tools for writing software. This paper comes with its own contributio...
Tudor Marian, Bogdan Dumitriu, Mihaela Dinsoreanu,...