4647 search results - page 115 / 930 » Analysis and design of OFDM-IDMA systems |
TGC
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...
WCRE
1999
IEEE
14 years 2 months ago
1999
IEEE
Code duplication, plausibly caused by copying source code and slightly modifying it, is often observed in large systems. Clone detection and documentation have been investigated b...
HYBRID
2009
Springer
14 years 1 months ago
2009
Springer
We focus on control systems in which sensors send data to actuators via a bus shared with other applications. An approach is proposed for specifying and implementing dynamic schedu...
AH
2006
Springer
14 years 1 months ago
2006
Springer
We built a Web-based adaptive recommendation system for students to select and suggest architectural cases when they analyze "Case Study" work within the architectural de...
FMCO
2008
Springer
13 years 11 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...