303 search results - page 23 / 61 » Typing Safe Deallocation |
128
Voted
SP
2010
IEEE
15 years 7 months ago
2010
IEEE
— Virtualization is being widely adopted in today’s computing systems. Its unique security advantages in isolating and introspecting commodity OSes as virtual machines (VMs) ha...
149
Voted
CCR
2004
15 years 3 months ago
2004
The science of network service composition has emerged as one of the grand themes of networking research [17] as a direct result of the complexity and sophistication of emerging n...
147
Voted
DASFAA
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. Continuous spatial queries retrieve a set of time-varying objects continuously during a given period of time. However, monitoring moving objects to maintain the correctne...
141
Voted
GPCE
2007
Springer
15 years 10 months ago
2007
Springer
Programs of a software product line can be synthesized by composing modules that implement features. Besides high-level domain constraints that govern the compatibility of feature...
169
Voted
PADL
2012
Springer
13 years 11 months ago
2012
Springer
We begin with a functional reactive programming (FRP) model in which every program is viewed as a signal function that converts a stream of input values into a stream of output va...