Sciweavers

1700 search results - page 46 / 340
» Specifying and implementing refactorings
Sort
View
IIWAS
2007
15 years 1 months ago
Implementing Semantic Interoperability in Electronic Auctions
Electronic marketplaces can provide several types of business processes depending upon their target audience. A form of such processes is electronic auction. It is a system for ac...
Juha Puustjärvi
TPDS
2010
135views more  TPDS 2010»
14 years 10 months ago
Maximizing Service Reliability in Distributed Computing Systems with Random Node Failures: Theory and Implementation
—In distributed computing systems (DCSs) where server nodes can fail permanently with nonzero probability, the system performance can be assessed by means of the service reliabil...
Jorge E. Pezoa, Sagar Dhakal, Majeed M. Hayat
JCS
2006
118views more  JCS 2006»
14 years 11 months ago
Language based policy analysis in a SPKI Trust Management System
Abstract-- SPKI/SDSI is a standard for issuing authorization and name certificates. SPKI/SDSI can be used to implement a Trust Management System, where the policy for resource acce...
Arun K. Eamani, A. Prasad Sistla
ICSE
2007
IEEE-ACM
15 years 12 months ago
Testing and Analysis of Access Control Policies
Policy testing and analysis are important techniques for high assurance of correct specification of access control policies. We propose a set of testing and analysis techniques fo...
Evan Martin
ICSE
2009
IEEE-ACM
15 years 6 months ago
FeatureIDE: A tool framework for feature-oriented software development
Tools support is crucial for the acceptance of a new programming language. However, providing such tool support is a huge investment that can usually not be provided for a researc...
Christian Kästner, Thomas Thüm, Gunter S...