252 search results - page 32 / 51 » Runtime Verification Using a Temporal Description Logic |
IPPS
2000
IEEE
14 years 6 days ago
2000
IEEE
We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively...
ASWEC
2006
IEEE
14 years 1 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...
ECOWS
2006
Springer
13 years 11 months ago
2006
Springer
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...
ECAI
2006
Springer
13 years 11 months ago
2006
Springer
An approach to handle the complex dynamics of a multi-agent system is based on distinguishing aggregation levels by structuring the system into parts or components. The behavior of...
CADUI
2006
13 years 9 months ago
2006
: The need for support of multi-user interaction is growing in several application domains, including the Web. However, there is a lack of tools able to support designers and devel...