2291 search results - page 288 / 459 » Logic Programming and Model Checking |
112
click to vote
ENTCS
2008
15 years 1 months ago
2008
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...
140
click to vote
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
102
Voted
ICCS
2004
Springer
15 years 7 months ago
2004
Springer
Multiparadigm approach integrates programming language paradigms. We propose Holoparadigm (Holo) as a multiparadigm model oriented to development of grid systems. Holo uses a logi...
114
click to vote
ECOOP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract We present a datatype package that enables the shallow embedding technique to object-oriented specification and programming languages. This datatype package incrementally ...
ICCAD
1996
IEEE
15 years 6 months ago
1996
IEEE
We propose a new method for generating BDDs from hardware algorithm descriptions written in a programming language. Our system can deal with control structures, such as conditiona...