2024 search results - page 157 / 405 » A Logic Based Approach for Dynamic Access Control |
145
Voted
SMC
2007
IEEE
15 years 10 months ago
2007
IEEE
: With the development of enterprise-wide and cross-enterprise application integration and interoperation towards web service, web service providers try to not only fulfill the fun...
224
click to vote
POPL
2005
ACM
16 years 3 months ago
2005
ACM
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
152
Voted
IEE
2008
15 years 3 months ago
2008
: From a maintenance perspective, only software that is well understood can evolve in a controlled and high-quality manner. Software evolution itself is a knowledge-driven process ...
118
click to vote
WMCSA
2009
IEEE
15 years 10 months ago
2009
IEEE
The increasing reliance of users on wireless networks for Internet connectivity has posed two significant challenges for mobile networking research. The first challenge is to pr...
208
Voted
VLDB
2007
ACM
16 years 3 months ago
2007
ACM
In order to optimize their revenues and profits, an increasing number of businesses organize their business activities in terms of business processes. Typically, they automate imp...