Sciweavers

4987 search results - page 591 / 998
» Support Ordered Resolution
Sort
View
ENTCS
2007
114views more  ENTCS 2007»
15 years 6 months ago
Active Evaluation Contexts for Reaction Semantics
In the context of process algebras it is customary to define semantics in the form of a reaction relation supported by a structural congruence relation. Recently process algebras...
Henrik Pilegaard, Flemming Nielson, Hanne Riis Nie...
MP
2008
103views more  MP 2008»
15 years 6 months ago
Aggregation and discretization in multistage stochastic programming
Multistage stochastic programs have applications in many areas and support policy makers in finding rational decisions that hedge against unforeseen negative events. In order to en...
Daniel Kuhn
LOBJET
2006
105views more  LOBJET 2006»
15 years 6 months ago
Expression and Composition of Design Patterns with AspectJ
ABSTRACT. Design patterns are well-known couples of problems-solutions for software engineering. By nature, they often lack support from languages and this further complicates the ...
Simon Denier, Pierre Cointe
PC
2006
96views Management» more  PC 2006»
15 years 6 months ago
Modeling Master/Worker applications for automatic performance tuning
Parallel application development is a very difficult task for non-expert programmers, and therefore support tools are needed for all phases of this kind of application development...
Eduardo César, Andreu Moreno, Joan Sorribes...
IJNSEC
2007
128views more  IJNSEC 2007»
15 years 6 months ago
LFSR-based Signatures with Message Recovery
In order to reduce key sizes and bandwidth, several LFSRbased (linear feedback shift register) public key cryptosystems and signature schemes have been proposed. Digital signature...
Xiangxue Li, Dong Zheng, Kefei Chen