Sciweavers

2903 search results - page 372 / 581
» On the univalence of an integral operator
Sort
View
SAFECOMP
2004
Springer
16 years 7 days ago
Using Formal Methods in a Retrospective Safety Case
Today the development of safety-critical systems is to a large extent guided by standards that make demands on both development process and system quality. Before the advent of the...
Lars-Henrik Eriksson
ASAP
2003
IEEE
169views Hardware» more  ASAP 2003»
16 years 5 days ago
Combined Multiplication and Sum-of-Squares Units
Multiplication and squaring are important operations in digital signal processing and multimedia applications. This paper presents designs for units that implement either multipli...
Michael J. Schulte, Louis Marquette, Shankar Krith...
DISCEX
2003
IEEE
16 years 5 days ago
Monterey Security Enhanced Architecture Project
This research project has produced an innovative architecture and corrresponding engineering prototype consisting of trusted security services and integrated operating system mech...
Cynthia E. Irvine, David J. Shifflett, Paul C. Cla...
EDOC
2003
IEEE
16 years 5 days ago
An Agent-based Architecture for Analyzing Business Processes of Real-Time Enterprises
As the desire for business intelligence capabilities for e-business processes expands, existing workflow management systems and decision support systems are not able to provide co...
Jun-Jang Jeng, Josef Schiefer, Henry Chang
HICSS
2003
IEEE
101views Biometrics» more  HICSS 2003»
16 years 5 days ago
System Architecture for Cross Border Payment A Case Study for the Financial Services Industry
The financial services industry is changing rapidly as a result of advances in information technology (IT), telecommunications and the Internet. Technological innovations and incr...
Nadia Ayad, Alexander Verbraeck