3792 search results - page 709 / 759 » Techniques for Trusted Software Engineering |
ICFEM
2004
Springer
15 years 5 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
114
Voted
ICSOC
2004
Springer
15 years 5 months ago
2004
Springer
Currently, service-oriented computing is mainly technology-driven. Most developments focus on the technology that enables enterprises to describe, publish and compose application ...
94
Voted
DISCEX
2003
IEEE
15 years 5 months ago
2003
IEEE
Huge challenges exist with systems and networks that must dependably satisfy stringent requirements for security, reliability, and other attributes of trustworthiness. Drawing on ...
106
Voted
IOLTS
2003
IEEE
15 years 5 months ago
2003
IEEE
On-chip global interconnections in very deep submicron technology (VDSM) ICs are becoming more sensitive and prone to errors caused by power supply noise, crosstalk noise, delay v...
123
Voted
GROUP
2003
ACM
15 years 5 months ago
2003
ACM
Group awareness is an important part of synchronous collaboration, and support for group awareness can greatly improve groupware usability. However, it is still difficult to build...