2881 search results - page 477 / 577 » Model Checking for Programming Languages using Verisoft |
160
click to vote
DAGSTUHL
1998
15 years 6 months ago
1998
Abstract. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a comple...
134
click to vote
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
Current firewall configuration languages have no well founded semantics. Each firewall implements its own algorithm that parses specific proprietary languages. The main conseq...
146
click to vote
ASIAN
2004
Springer
15 years 10 months ago
2004
Springer
A central problem in extending the von Neumann architecture to petaflop computers with millions of hardware threads and with a shared memory is defining the memory model [Lam79,...
157
click to vote
IFIP
1998
Springer
15 years 9 months ago
1998
Springer
The flexible integration of a range of disparate IT applications is a key requirement for today's global enterprises. The virtual enterprise, formed by a collection of collab...
198
click to vote
JAVACARD
2000
15 years 8 months ago
2000
: Open-cards have introduced a new life cycle for smart card embedded applications. In the case of Java Card, they have raised the problem of embedded object-oriented applet valida...