Sciweavers

466 search results - page 55 / 94
» An Approach to Self-adaptive Software Based on Supervisory C...
Sort
View
SACMAT
2009
ACM
15 years 6 months ago
Dynamic mandatory access control for multiple stakeholders
In this paper, we present a mandatory access control system that uses input from multiple stakeholders to compose policies based on runtime information. In the emerging ubiquitous...
Vikhyath Rao, Trent Jaeger
CAV
2009
Springer
119views Hardware» more  CAV 2009»
16 years 10 days ago
HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...
Eric Goubault, Franck Védrine, Karim Tekkal...
KBSE
2006
IEEE
15 years 5 months ago
Automated Reasoning on Aspects Interactions
The aspect-oriented paradigm allows weaving aspects in different join points of a program. Aspects can modify object fields and method control flow, thus possibly introducing subt...
Paolo Falcarin, Marco Torchiano
LISA
2008
15 years 2 months ago
Portable Desktop Applications Based on P2P Transportation and Virtualization
Play-on-demand is usually regarded as a feasible access mode for web content (including streaming video, web pages and so on), web services and some Software-As-A-Service (SaaS) a...
Youhui Zhang, Xiaoling Wang, Liang Hong
ISSRE
2010
IEEE
14 years 10 months ago
Automata-Based Verification of Security Requirements of Composite Web Services
— With the increasing reliance of complex real-world applications on composite web services assembled from independently developed component services, there is a growing need for...
Hongyu Sun, Samik Basu, Vasant Honavar, Robyn R. L...