Sciweavers

4894 search results - page 597 / 979
» Dynamic Abstraction Planning
Sort
View
TACAS
2007
Springer
92views Algorithms» more  TACAS 2007»
16 years 1 months ago
Model Checking Liveness Properties of Genetic Regulatory Networks
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
Grégory Batt, Calin Belta, Ron Weiss
IAT
2006
IEEE
16 years 28 days ago
Autonomous Mobile Programs
To manage load on large and dynamic networks we have developed Autonomous Mobile Programs (AMPs) that periodically use a cost model to decide where to execute. A disadvantage of d...
Xiao Yan Deng, Philip W. Trinder, Greg Michaelson
WWW
2006
ACM
16 years 25 days ago
ASDL: a wide spectrum language for designing web services
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...
Monika Solanki, Antonio Cau, Hussein Zedan
ICDE
2005
IEEE
98views Database» more  ICDE 2005»
16 years 15 days ago
An Implementation Scheme of Relational Tables
AbstractAbstractAbstract In this paper, an implementation scheme for relational tables is proposed. Our scheme employs extendible chunked arrays. We are proposing an implementation...
Masayuki Kuroda, Naoki Amma, K. M. Azharul Hasan, ...
CONCUR
2005
Springer
16 years 12 days ago
A Theory of System Behaviour in the Presence of Node and Link Failures
d Abstract) Adrian Francalanza and Matthew Hennessy University of Sussex, Falmer Brighton BN1 9RH, England Abstract. We develop a behavioural theory of distributed programs in the ...
Adrian Francalanza, Matthew Hennessy