Sciweavers

551 search results - page 73 / 111
» Realizability of Real-Time Logics
Sort
View
CAISE
2007
Springer
15 years 9 months ago
Specification and Verification of Authorization Policies for Web Services Composition
The management and maintenance of a large number of Web services is not easy and, in particular, needs appropriate authorization policies to be defined so as to realize reliable an...
Mohsen Rouached, Claude Godart
BIOADIT
2004
Springer
15 years 9 months ago
Artificial Cellular Division by Self-Inspection
Abstract. This article describes a novel approach to the implementation on an electronic substrate of a process analogous to the cellular division of biological organisms. Cellular...
Enrico Petraglio, Daniel Mange, André Stauf...
119
Voted
ASPDAC
2001
ACM
86views Hardware» more  ASPDAC 2001»
15 years 9 months ago
Development of PPRAM-link interface (PLIF) IP core for high-speed inter-SoC communication
Abstract-- We are proposing "PPRAM-Link": a new highspeed communication standard for merged-DRAM/logic SoC architecture. PPRAM-Link standard is composed of physical/logic...
Takanori Okuma, Koji Hashimoto, Kazuaki Murakami
172
Voted
SERP
2008
15 years 7 months ago
Aspect-Oriented Approaches to Model Driven Engineering
In aspect-oriented model driven engineering (AOMDE), a software design model consists of a primary model that describes the business logic of the application and a set of aspect m...
Devon Simmonds
ICCD
2004
IEEE
138views Hardware» more  ICCD 2004»
16 years 2 months ago
A Novel Low-Power Scan Design Technique Using Supply Gating
— Reduction in test power is important to improve battery life in portable devices employing periodic self-test, to increase reliability of testing and to reduce test-cost. In sc...
Swarup Bhunia, Hamid Mahmoodi-Meimand, Saibal Mukh...