3256 search results - page 431 / 652 » Applications of Formal Methods to System Design and Verifica... |
148
click to vote
SAC
2006
ACM
15 years 11 months ago
2006
ACM
With the development of Internet-based business, Web applications are becoming increasingly complex. The J2EE specification aims at enabling the design of such web application ser...
130
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper we describe a sequential simulation method to simulate large parallel homo- and heterogeneous systems on a single FPGA. The method is applicable for parallel systems...
168
click to vote
CAISE
2001
Springer
15 years 10 months ago
2001
Springer
The UML lacks precise and formal foundations for several constructs such as transition guards or method bodies, for which it resorts to semantic loopholes in the form of “uninter...
169
click to vote
JIPS
2010
15 years 9 days ago
2010
The growing number of web applications in the global economy has made it critically important to develop secure and reliable software to support the economy's increasing depen...
158
click to vote
CRYPTO
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. While there is a great deal of sophistication in modern cryptology, simple (and simplistic) explanations of cryptography remain useful and perhaps necessary. Many of the ...