Sciweavers

7920 search results - page 354 / 1584
» The Swarm Application Framework
Sort
View
ICWS
2004
IEEE
15 years 8 months ago
Net Traveler: A Framework for Autonomic Web Services Collaboration, Orchestration and Choreography in E-Government Information S
Next-generation Government Information Systems will integrate large amounts of heterogeneous data sources located on distributed networks like the Internet. We present Net Travele...
Hillary Caituiro-Monge, Manuel Rodriguez-Martinez
WSC
1997
15 years 8 months ago
A Framework for Performance Analysis of Parallel Discrete Event Simulators
A framework for performance analysis of parallel discrete event simulators is presented. The centerpiece of this framework is a platform-independent Workload Specification Langua...
Vijay Balakrishnan, Peter Frey, Nael B. Abu-Ghazal...
ASAP
2010
IEEE
185views Hardware» more  ASAP 2010»
15 years 7 months ago
ImpEDE: A multidimensional design-space exploration framework for biomedical-implant processors
Abstract—The demand for biomedical implants keeps increasing. However, most of the current implant design methodologies involve custom-ASIC design. The SiMS project aims to chang...
Dhara Dave, Christos Strydis, Georgi Gaydadjiev
IANDC
2008
120views more  IANDC 2008»
15 years 6 months ago
A framework for compositional verification of security protocols
Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysi...
Suzana Andova, Cas J. F. Cremers, Kristian Gj&osla...
CORR
2006
Springer
91views Education» more  CORR 2006»
15 years 6 months ago
Complexity of Data Flow Analysis for Non-Separable Frameworks
The complexity of round robin iterative data flow analysis has been traditionally defined as 1+d where d is the depth of a control flow graph. However, this bound is restricted to ...
Bageshri Karkare, Uday P. Khedker