2763 search results - page 18 / 553 » The Dangerous 'All' in Specifications |
FORTE
1998
13 years 9 months ago
1998
: In this paper, we propose a technique for hardware implementation of protocol specifications in LOTOS. For the purpose, we define a new model called synchronous EFSMs consisting ...
COMCOM
1998
13 years 7 months ago
1998
In this paper, we propose a new formalism, named the Timed Communicating Finite State Machine (Timed CFSM), for specifying and verifying time-critical systems. Timed CFSM preserve...
SIGPRO
2008
13 years 7 months ago
2008
Abstract-- The design of a two dimensional (2D) quadrantally symmetric FIR filter with peak constrained magnitude response is considered. We further considered the design specifica...
ICMCS
2000
IEEE
14 years 7 days ago
2000
IEEE
In this paper we present a detailed review on the Trader’s Quality of Service (QoS) Specifications and the Effects on System Performance for Video-on-Demand Multimedia (MM) Appl...
ECOWS
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Matching of semantic service descriptions is the key to automatic service discovery and binding. Existing approaches split the matchmaking process in two step: signature ...