619 search results - page 40 / 124 » Generic Extensions and Generic Polynomials |
CALCO
2007
Springer
14 years 1 months ago
2007
Springer
We motivate and present a logical semantic approach to types for concurrency and to the soundness of related systems. The approach is illustrated by the development of a generic ty...
SCFBM
2008
13 years 7 months ago
2008
Background: We present a C++ class library for Monte Carlo simulation of molecular systems, including proteins in solution. The design is generic and highly modular, enabling mult...
MODELS
2009
Springer
14 years 2 months ago
2009
Springer
Recently, a generic approach for syntax-based user assistance in diagram editors has been proposed that requires the syntax of the visual language to be defined by a graph grammar...
LCN
2007
IEEE
14 years 2 months ago
2007
IEEE
— Packet forwarding in Public Transport Networks is particularly challenging due to the high mobility, rapidly changing topology and intermittent connectivity observed in these n...
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
— Providing video-on-demand streaming service to a large population of clients using peer-to-peer approach is drawing great interest recently. Since clients’ demands are asynch...