1700 search results - page 95 / 340 » Specifying and implementing refactorings |
138
Voted
WETICE
1996
IEEE
15 years 8 months ago
1996
IEEE
This paper describes a security architecture designed to support role-based access control for distributed object systems in a large-scale, multi-organisational enterprise in whic...
121
click to vote
HYBRID
2009
Springer
15 years 8 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...
137
click to vote
FMCAD
2006
Springer
15 years 8 months ago
2006
Springer
In this paper we formally specify and verify an implementation of the IEEE802.11a standard physical layer based OFDM (Orthogonal Frequency Division Multiplexing) modem using the HO...
119
click to vote
CODES
2001
IEEE
15 years 8 months ago
2001
IEEE
This paper presents a practical approach to communication synthesis for hardware/software system specified as tasks communicating through lossless blocking channels. It relies on ...
131
click to vote
HICSS
1995
IEEE
15 years 8 months ago
1995
IEEE
This paper discusses the implementation of optimizaiion based DSSs. A n approach is proposed that will enable OR/MS analysts to develop this kind of system much more eociently tha...