2404 search results - page 400 / 481 » Postmodernism and Control Engineering |
ACSAC
2001
IEEE
15 years 4 months ago
2001
IEEE
In most of the current authorization frameworks in application systems, the authorization for a user operation is determined using a static database like ACL entries or system tab...
102
click to vote
ACSAC
2001
IEEE
15 years 4 months ago
2001
IEEE
The Java (TM) Virtual Machine is being used more frequently as the basic engine behind dynamic web services. With the proliferation of network attacks on these network resources, ...
119
Voted
AICCSA
2001
IEEE
15 years 4 months ago
2001
IEEE
Software process modeling has undergone extensive changes in the last three decades, impacting process' structure, degree of control, degree of visualization, degree of autom...
108
Voted
CIA
2000
Springer
15 years 4 months ago
2000
Springer
In the near future, billions of entities will be connected to each other through the Internet. The current trend is that an increasingly number of entities, from smart personal dev...
121
click to vote
ASM
2010
ASM
15 years 4 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...