624 search results - page 49 / 125 » Application of Lightweight Formal Methods to Software Securi... |
130
click to vote
VLSID
2003
IEEE
16 years 4 months ago
2003
IEEE
A formal synthesis method for complex real-time embedded software is proposed in this work. Compared to previous work, our method not only synthesizes embedded software with compl...
142
click to vote
WER
2005
Springer
15 years 9 months ago
2005
Springer
How business and software analysts explore, document, and negotiate requirements for enterprise systems is critical to the benefits their organizations will eventually derive. In t...
118
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
Mobile agent systems provide new perspectives for distributed e-commerce applications. Sea-of-Data (SoD) applications are those that need to process huge quantities of distributed...
124
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
Multi-agent systems are now being considered a promising architectural approach for building Internet-based applications. One of the most critical and important aspects of softwar...
133
Voted
SAFECOMP
2007
Springer
15 years 10 months ago
2007
Springer
A strategy and relating activities of a software safety analysis (SSA) are presented for the software of a digital reactor protection system where software modules in the design de...