6201 search results - page 845 / 1241 » Implementation of Axiomatic Language |
186
click to vote
EEE
2005
IEEE
16 years 15 days ago
2005
IEEE
Electronic Brokering, is a good candidate for taking up Semantic Web technology. In this paper we study the brokering and matchmaking problem that is, how a requester’s requirem...
164
click to vote
FDL
2005
IEEE
16 years 15 days ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
167
click to vote
FDL
2005
IEEE
16 years 15 days ago
2005
IEEE
In the Software/Hardware Engineering model-driven design methodology, preservation of real-time system properties can be guaranteed in the model synthesis up to a small time-deviat...
185
click to vote
ICECCS
2005
IEEE
16 years 15 days ago
2005
IEEE
To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems’ resources. These permissions rely on certai...
158
click to vote
MSE
2005
IEEE
16 years 14 days ago
2005
IEEE
This paper describes the authors experience with teaching VHDL (and more recently, Verilog) to undergraduate and graduate students at WPI and to engineers through various short co...