Sciweavers

3154 search results - page 130 / 631
» An annotation based approach to support design communication
Sort
View
SAC
2005
ACM
16 years 10 hour ago
Supporting e-commerce systems formalization with choreography languages
E-commerce as well as B2B applications are essentially based on interactions between different people and organizations (e.g. industry, banks, customers) that usually exploit the ...
Mario Bravetti, Claudio Guidi, Roberto Lucchi, Gia...
MOBICOM
2003
ACM
15 years 11 months ago
Throughput capacity of random ad hoc networks with infrastructure support
In this paper, we consider the transport capacity of ad hoc networks with a random flat topology under the present support of an infinite capacity infrastructure network. Such a...
Ulas C. Kozat, Leandros Tassiulas
AICCSA
2008
IEEE
266views Hardware» more  AICCSA 2008»
16 years 28 days ago
A novel flow-sensitive type and effect analysis for securing C code
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...
Syrine Tlili, Mourad Debbabi
CCGRID
2001
IEEE
15 years 10 months ago
Group Communication in Differentiated Services Networks
The Differentiated Services (DiffServ) approach will also bring benefits for multicast applications which need quality of service support. For instance, a highly reliable multicas...
Roland Bless, Klaus Wehrle
DATE
2005
IEEE
114views Hardware» more  DATE 2005»
16 years 2 days ago
A Two-Level Modeling Approach to Analog Circuit Performance Macromodeling
In this paper, we present a two-level modeling approach to performance macromodeling based on radial basis function Support Vector Machine (SVM). The two-level model consists of a...
Mengmeng Ding, Ranga Vemuri