15777 search results - page 736 / 3156 » The Reformulation-Optimization Software Engine |
181
click to vote
EDOC
2008
IEEE
16 years 1 months ago
2008
IEEE
Software development is witnessing the increasing need of version management techniques for supporting the evolution of model-based artefacts. In this respect, metamodels can be c...
222
click to vote
ICFEM
2007
Springer
16 years 1 months ago
2007
Springer
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...
177
click to vote
PVM
2007
Springer
16 years 1 months ago
2007
Springer
We propose a parallel MPI search engine that is capable of automatically switching between asynchronous message passing and bulk-synchronous message passing modes of operation. Whe...
169
click to vote
ISORC
2005
IEEE
16 years 1 months ago
2005
IEEE
: While the conventional remote method invocation mechanism has been considered for a long time as the primary approach for facilitating interactions among real-time objects, a mul...
197
click to vote
LAWEB
2005
IEEE
16 years 1 months ago
2005
IEEE
In today’s e-commerce environment, information is an incredibly valuable asset. Surveys indicate that companies are suffering staggering financial losses due to web security iss...