Sciweavers

390 search results - page 60 / 78
» SOFAS: software analysis services
Sort
View
IEEEARES
2008
IEEE
14 years 4 months ago
Static Validation of Licence Conformance Policies
Policy conformance is a security property gaining importance due to commercial interest like Digital Rights Management. It is well known that static analysis can be used to valida...
René Rydhof Hansen, Flemming Nielson, Hanne...
HICSS
2007
IEEE
85views Biometrics» more  HICSS 2007»
14 years 4 months ago
Scale and Scope Externalities in Growth of IT Industries in India: An Agglomeration Perspective
Externalities occur among agglomerated firms. Scale externalities occur between firms in an industry with similar activities. Scope externalities occur when heterogeneous activiti...
Robert J. Kauffman, Ajay Kumar
DSN
2003
IEEE
14 years 3 months ago
A User-Perceived Availability Evaluation of a Web Based Travel Agency
A hierarchical modeling framework for the dependability evaluation of Internet-based applications is presented and illustrated on a travel agency example. Modeling is carried out ...
Mohamed Kaâniche, Karama Kanoun, Magnos Mart...
ACSAC
2000
IEEE
14 years 2 months ago
Policy Mediation for Multi-Enterprise Environments
Existing software infrastructures and middleware provide uniform security services across heterogeneous information networks. However, few, if any, tools exist that support access...
Pablo Galiasso, Oliver Bremer, John Hale, Sujeet S...
AGENTS
1999
Springer
14 years 2 months ago
Shopbot Economics
Abstract. Shopbots are agents that search the Internet for information pertaining to the price and quality of goods or services. With the advent of shopbots, a dramatic reduction i...
Jeffrey O. Kephart, Amy R. Greenwald