3028 search results - page 131 / 606 » Integrating Temporal Logics |
137
Voted
ASWEC
2006
IEEE
15 years 10 months ago
2006
IEEE
With the increased usage of wireless LANs (WLANs), businesses and educational institutions are becoming more concerned about wireless network security. The latest WLAN security pr...
133
click to vote
DFG
2004
Springer
15 years 10 months ago
2004
Springer
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...
144
Voted
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Service matchmaking is the process of finding suitable services given by the providers for the service requests of consumers. Previous approaches to service matchmaking is mostly ...
148
click to vote
ISSTA
2000
ACM
15 years 9 months ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
123
click to vote
ASE
2008
15 years 4 months ago
2008
Goal-oriented methods are increasingly popular for elaborating software requirements. They offer systematic support for incrementally building intentional, structural, and operati...