669 search results - page 40 / 134 » Modeling Dynamic Architectures Using Nets-Within-Nets |
MSS
2005
IEEE
15 years 5 months ago
2005
IEEE
We present an architecture of a trust framework that can be utilized to intelligently tradeoff between security and performance in a SAN file system. The primary idea is to diffe...
ESWS
2007
Springer
15 years 6 months ago
2007
Springer
Dynamic discovery based on semantic description of services is an essential aspect of the Semantic Web services integration process. Since not all data required for service discove...
JCP
2008
14 years 11 months ago
2008
In this paper, real-time system identification of an unmanned aerial vehicle (UAV) based on multiple neural networks is presented. The UAV is a multi-input multi-output (MIMO) nonl...
JCP
2007
14 years 11 months ago
2007
Abstract— In this paper, we develop a mixed-initiative intelligent tutor for the game of Sudoku called MITS. We begin by developing a characterization of the strategies used in S...
113
click to vote
DAC
2003
ACM
16 years 23 days ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...