1812 search results - page 275 / 363 » Dynamic Updating of Software Systems Based on Aspects |
198
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
Many real-time applications are designed to work in different operating modes each characterized by different functionality and resource demands. With each mode change, resource d...
177
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...
223
click to vote
CF
2004
ACM
15 years 12 months ago
2004
ACM
In a future networked physical world, a myriad of smart sensors and actuators assess and control aspects of their environments and autonomously act in response to it. Examples ran...
158
click to vote
SACMAT
2003
ACM
15 years 11 months ago
2003
ACM
This paper presents an approach that uses special purpose RBAC constraints to base certain access control decisions on context information. In our approach a context constraint is...
158
click to vote
DATE
2006
IEEE
16 years 14 days ago
2006
IEEE
UML2 and SysML try to adopt techniques known from software development to systems engineering. However, the focus has been put on modeling aspects until now and quantitative perfo...