5962 search results - page 519 / 1193 » Working with Patterns and Code |
185
click to vote
FMICS
2006
Springer
15 years 10 months ago
2006
Springer
Formal specifications are more useful and easier to develop if they are executable. In this work, we describe a system for executing specifications written in the Java Modeling Lan...
180
click to vote
EURODAC
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper describes VHDL compilation techniques, embodied in the Auriga compiler [3,14], which facilitate parallel or distributed simulation by embedding evaluation scheduling in...
180
click to vote
MODELLIERUNG
2008
15 years 8 months ago
2008
: Intelligent, context sensitive content assist (also known as code completion) plays an important role in the effectiveness of model editors. This is not only true for textual lan...
186
click to vote
ESANN
2006
15 years 8 months ago
2006
This work presents two kernels which can be applied to sets of spike times. This allows the use of state-of-the-art classification techniques to spike trains. The presented kernels...
157
click to vote
IJNSEC
2006
15 years 7 months ago
2006
In 2004, C. Park proposed an authentication protocol to provide user anonymity and untraceability in wireless mobile communication systems. The real user identities are hidden and...