Sciweavers

13109 search results - page 298 / 2622
» The design and implementation of AspectC
Sort
View
174
Voted
OTM
2007
Springer
16 years 25 days ago
Pattern-Based Design and Validation of Business Process Compliance
In this paper we present a novel approach for the modeling and implementation of Internal Controls in Business Processes. The approach is based on the formal modeling of Internal C...
Kioumars Namiri, Nenad Stojanovic
ADS
2004
Springer
16 years 3 days ago
Data-Driven Tools for Designing Talking Heads Exploiting Emotional Attitudes
Abstract. Audio/visual speech, in the form of labial movement and facial expression data, was utilized in order to semi-automatically build a new Italian expressive and emotive tal...
Piero Cosi, Andrea Fusaro, Daniele Grigoletto, Gra...
IPPS
2003
IEEE
15 years 12 months ago
Reconfigurable Architecture Requirements for Co-Designed Virtual Machines
This paper addresses the physical hardware requirements necessary for a co-design hardware/software virtual machine to not only exist, but to also provide comparable performance w...
Kenneth B. Kent, Micaela Serra
WCE
2007
15 years 7 months ago
Avoiding Hazards for Speed-Independent Logic Design
- In the speed-independent logic, the hazards caused by input inverters are identified. The known methods of the elimination of such hazards are based on avoiding input inverters. ...
Igor Lemberski
TC
1998
15 years 6 months ago
Design Verification of the S3.mp Cache-Coherent Shared-Memory System
—This paper describes the methods used to formulate and validate the memory subsystem of the cache-coherent Sun Scalable emory MultiProcessor (S3.mp) at three levels of abstracti...
Fong Pong, Michael C. Browne, Gunes Aybay, Andreas...