Sciweavers

1301 search results - page 2 / 261
» Specifications via Realizability
Sort
View
EUROMICRO
2009
IEEE
13 years 11 months ago
Using JavaBeans to Realize a Domain-Specific Component Model
SaveCCM is a domain specific component model developed specifically for safety-critical hard real-time embedded systems in the vehicular domain. This paper expands the scope of Sa...
Juraj Feljan, Jan Carlson, Mario Zagar
EDOC
2009
IEEE
13 years 11 months ago
Realizing Correspondences in Multi-viewpoint Specifications
Viewpoint modeling is an effective technique for specifying complex software systems in terms of a set of independent viewpoints and correspondences between them. Each viewpoint f...
José Raúl Romero, Juan Ignacio Jaen,...
IEICET
2008
106views more  IEICET 2008»
13 years 7 months ago
Realization of Low Power High-Speed Channel Filters with Stringent Adjacent Channel Attenuation Specifications for Wireless Comm
Finite impulse response (FIR) filtering is the most computationally intensive operation in the channelizer of a wireless communication receiver. Higher order FIR channel filters a...
Jimson Mathew, R. Mahesh, A. Prasad Vinod, Edmund ...
DAIS
2007
13 years 9 months ago
Situation Specification and Realization in Rule-Based Context-Aware Applications
Context-aware applications use and manipulate context information to detect high-level situations, which are used to adapt application behavior. This paper discusses the specificat...
Patricia Dockhorn Costa, João Paulo A. Alme...