Sciweavers

5863 search results - page 768 / 1173
» On Model-Checking of P Systems
Sort
View
DSN
2008
IEEE
16 years 1 months ago
International Workshop on Resilience Assessment and Dependability Benchmarking (RADB 2008)
This workshop summary gives a brief overview of the workshop on “Resilience Assessment and Dependability Benchmarking” held in conjunction with the 38th IEEE/IFIP Internationa...
Andrea Bondavalli, István Majzik, Aad P. A....
HICSS
2008
IEEE
134views Biometrics» more  HICSS 2008»
16 years 1 months ago
Internet Privacy in E-Commerce: Framework, Review, and Opportunities for Future Research
Increased Internet traffic and the sophistication of companies in tracking that traffic have made privacy a critical issue in electronic commerce (e-commerce). This has spawned a ...
J. Efrim Boritz, Won Gyun No, R. P. Sundarraj
SEMCO
2008
IEEE
16 years 1 months ago
Mediatability: Estimating the Degree of Human Involvement in XML Schema Mediation
Mediation and integration of data are significant challenges because the number of services on the Web, and heterogeneities in their data representation, continue to increase rap...
Karthik Gomadam, Ajith Ranabahu, Lakshmish Ramaswa...
DATE
2007
IEEE
55views Hardware» more  DATE 2007»
16 years 1 months ago
Sensitivity analysis for fault-analysis and tolerance in RF front-end circuitry
RFIC reliability is fast becoming a major bottleneck in the yield and performance of modern IC systems, as process complexity and levels of integration continually increase. Due t...
Tejasvi Das, P. R. Mukund
EDOC
2007
IEEE
16 years 1 months ago
DECLARE: Full Support for Loosely-Structured Processes
—Traditional Workflow Management Systems (WFMSs) are not flexible enough to support loosely-structured processes. Furthermore, flexibility in contemporary WFMSs usually comes ...
Maja Pesic, Helen Schonenberg, Wil M. P. van der A...