2145 search results - page 166 / 429 » Architectural Specifications in CASL |
187
click to vote
AHS
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we propose a design methodology for implementing a multimode (or multi-configuration) and multi-throughput system into a single hardware architecture. The inputs of...
191
click to vote
TOPLAS
2008
15 years 6 months ago
2008
WS-SecurityPolicy is a declarative language for configuring web services security mechanisms. We describe a formal semantics for WS-SecurityPolicy and propose a more abstract lang...
141
click to vote
HT
1993
ACM
15 years 10 months ago
1993
ACM
This paper discusses issues for the design of a Dexter-based cooperative hypermedia architecture and a specific system, DeVise Hypermedia (DHM), developed from this architecture. ...
199
click to vote
SIGARCH
2008
15 years 6 months ago
2008
As multicore architectures gain widespread use, it becomes increasingly important to be able to harness their additional processing power to achieve higher performance. However, e...
215
click to vote
ANSOFT
2002
15 years 6 months ago
2002
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...