Sciweavers

1714 search results - page 219 / 343
» Abstract Models of Memory Management
Sort
View
NEUROSCIENCE
2001
Springer
15 years 7 months ago
Biological Grounding of Recruitment Learning and Vicinal Algorithms in Long-Term Potentiation
Biological networks are capable of gradual learning based on observing a large number of exemplars over time as well as of rapidly memorizing specific events as a result of a sin...
Lokendra Shastri
FORMATS
2007
Springer
15 years 7 months ago
Partial Order Reduction for Verification of Real-Time Components
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
John Håkansson, Paul Pettersson
SIGMETRICS
2008
ACM
140views Hardware» more  SIGMETRICS 2008»
15 years 3 months ago
Scalable VPN routing via relaying
Enterprise customers are increasingly adopting MPLS (Multiprotocol Label Switching) VPN (Virtual Private Network) service that offers direct any-to-any reachability among the cust...
Changhoon Kim, Alexandre Gerber, Carsten Lund, Dan...
EATIS
2007
ACM
15 years 7 months ago
A model-driven approach for reusing service compositions
The web service approach provides mechanisms for simplifying application integration. However, to meaningfully facilitate scalable development and maintenance of web service appli...
Carlos Granell, Michael Gould, Dolores Marí...
MIDDLEWARE
2001
Springer
15 years 7 months ago
Thread Transparency in Information Flow Middleware
Abstract. Existing middleware is based on control-flow centric interaction models such as remote method invocations, poorly matching the structure of applications that process con...
Rainer Koster, Andrew P. Black, Jie Huang, Jonatha...