Sciweavers

1714 search results - page 259 / 343
» Abstract Models of Memory Management
Sort
View
99
Voted
ENTCS
2007
101views more  ENTCS 2007»
15 years 2 months ago
Model-checking Distributed Components: The Vercors Platform
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
Tomás Barros, Antonio Cansado, Eric Madelai...
129
Voted
JIRS
2007
116views more  JIRS 2007»
15 years 2 months ago
Recognition of Human Motion From Qualitative Normalised Templates
Abstract This paper proposes a Qualitative Normalised Templates (QNTs) framework for solving the human motion classification problem. In contrast to other human motion classifica...
Chee Seng Chan, Honghai Liu, David J. Brown
153
Voted
ECCB
2005
IEEE
15 years 8 months ago
A query language for biological networks
Many areas of modern biology are concerned with the management, storage, visualization, comparison, and analysis of networks. For instance, networks are used to model signal trans...
Ulf Leser
113
Voted
LOPSTR
2005
Springer
15 years 8 months ago
Experiments in Context-Sensitive Analysis of Modular Programs
Abstract. Several models for context-sensitive analysis of modular programs have been proposed, each with different characteristics and representing different trade-offs. The ad...
Jesús Correas, Germán Puebla, Manuel...
144
Voted
ICSOC
2007
Springer
15 years 9 months ago
Towards Self-management in Service-Oriented Computing with Modes
Abstract. A self-managed system is both self-assembling and selfhealing. Service-oriented Computing (SoC) architectures, such as a Web Services Architecture (WS-A) illustrate a hig...
Howard Foster, Sebastián Uchitel, Jeff Kram...