Sciweavers

2145 search results - page 279 / 429
» Architectural Specifications in CASL
Sort
View
DAC
2007
ACM
15 years 9 months ago
Integrated Droplet Routing in the Synthesis of Microfluidic Biochips
Microfluidic biochips are revolutionizing many areas of biochemistry and biomedical sciences. Several synthesis tools have recently been proposed for the automated design of bioch...
Tao Xu, Krishnendu Chakrabarty
DAC
2007
ACM
15 years 9 months ago
Memory Modeling in ESL-RTL Equivalence Checking
When designers create RTL models from a system-level specification, arrays in the system-level model are often implemented as memories in the RTL. Knowing the correspondence betwe...
Alfred Kölbl, Jerry R. Burch, Carl Pixley
ACSAC
2004
IEEE
15 years 9 months ago
Visualizing Enterprise-Wide Security (VIEWS)
This paper discusses VIEWS, a specification for building diagrams that describe the security features of systems. The authors' recent experience with providing security archi...
J. J. Brennan, Mindy Rudell, Donald B. Faatz, Cars...
APNOMS
2006
Springer
15 years 9 months ago
A Profile Based Vertical Handoff Scheme for Ubiquitous Computing Environment
Specifically ubiquitous computing paradigm is based on seamless connectivity. And also to guarantee the seamless connectivity, an intelligent network management between heterogeneo...
Chung-Pyo Hong, Tae-Hoon Kang, Shin-Dug Kim
BPM
2006
Springer
111views Business» more  BPM 2006»
15 years 9 months ago
A Proposal for an Open Solution Business Process Integration and Management Implementation Framework
SOA, Service Oriented Architecture, some people tightly couple this concept with some technologies, as some believes that SOA is about Web Services and its orchestrations. SOA, is ...
Fathi M. Al-Ghaiati