Sciweavers

4689 search results - page 738 / 938
» Analysis and modeling of control tasks in dynamic systems
Sort
View
MIDDLEWARE
2004
Springer
15 years 12 months ago
Architecture for resource allocation services supporting interactive remote desktop sessions in utility grids
Emerging large scale utility computing systems like Grids promise computing and storage to be provided to end users as a utility. System management services deployed in the middle...
Vanish Talwar, Bikash Agarwalla, Sujoy Basu, Raj K...
PLDI
2009
ACM
16 years 1 months ago
A weakest precondition approach to active attacks analysis
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
Musard Balliu, Isabella Mastroeni
GROUP
1997
ACM
15 years 10 months ago
Flexible support for business processes: extending cooperative hypermedia with process support
In this paper, we present a cooperativehypermediabased process support system aimed on exible business processes. An analysis of the communication, coordination and cooperation r...
Jörg M. Haake, Weigang Wang
BIOCOMP
2008
15 years 8 months ago
Reverse Engineering Module Networks by PSO-RNN Hybrid Modeling
Background: Inferring a gene regulatory network (GRN) from high throughput biological data is often an under-determined problem and is a challenging task due to the following reas...
Yuji Zhang, Jianhua Xuan, Benildo de los Reyes, Ro...
CSMR
2010
IEEE
15 years 1 months ago
A Heuristic-Based Approach to Identify Concepts in Execution Traces
Abstract--Concept or feature identification, i.e., the identification of the source code fragments implementing a particular feature, is a crucial task during software understandin...
Fatemeh Asadi, Massimiliano Di Penta, Giuliano Ant...