5451 search results - page 1057 / 1091 » Typed Operational Semantics |
156
click to vote
GI
2003
Springer
15 years 11 months ago
2003
Springer
: The integrated approach for analysis of Large Complex Critical Infrastructures (LCCIs) to afford survivability aimed at preparing a Roadmap for Research and Development for criti...
161
click to vote
ICCS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We introduce a concept of self-organizing Hybrid Neurofuzzy Networks (HNFN), a hybrid modeling architecture combining neurofuzzy (NF) and polynomial neural networks(PNN)....
156
click to vote
ICS
2003
Tsinghua U.
15 years 11 months ago
2003
Tsinghua U.
Recent work in low-latency, high-bandwidth communication systems has resulted in building user–level Network InControllers (NICs) and communication abstractions that support dir...
165
click to vote
HYBRID
2010
Springer
15 years 11 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
167
click to vote
EUROSYS
2010
ACM
15 years 11 months ago
2010
ACM
A complex software system typically has a large number of objects in the memory, holding references to each other to implement an object model. Deciding when the objects should be...