6047 search results - page 1112 / 1210 » Modeling with Extend |
128
click to vote
EMSOFT
2005
Springer
15 years 7 months ago
2005
Springer
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain con...
131
click to vote
EUROPAR
2005
Springer
15 years 7 months ago
2005
Springer
The model of moldable task (MT) was introduced some years ago and has been proved to be an efficient way for implementing parallel applications. It considers a target application ...
106
click to vote
EUROCRYPT
2004
Springer
15 years 7 months ago
2004
Springer
For the last two decades the notion and implementations of proxy signatures have been used to allow transfer of digital signing power within some context (in order to enable flexi...
123
click to vote
GPCE
2004
Springer
15 years 7 months ago
2004
Springer
Scheme includes a simple yet powerful macro mechanism. Using macros, programmers can easily extend the language with new kinds of expressions and definitions, thus abstracting ove...
134
click to vote
NMR
2004
Springer
15 years 7 months ago
2004
Springer
The development of Logic Programming and Defeasible Argumentation lead to Defeasible Logic Programming. Its core resides in the characterization of the warrant procedure. Defeasib...