10159 search results - page 328 / 2032 » System Design Validation Using Formal Models |
124
Voted
DAC
2005
ACM
16 years 4 months ago
2005
ACM
An efficient approach to full-wave impedance extraction is developed that accounts for substrate effects through the use of two-layer media Green's functions in a mixed-poten...
115
Voted
HICSS
2006
IEEE
15 years 9 months ago
2006
IEEE
Spam e-mails have become a serious technological and economic problem. So far we have been reasonably able to resist spam e-mails and use the Internet for regular communication by...
102
Voted
FMOODS
2007
15 years 5 months ago
2007
Dynamic Meta Modeling (DMM) is a universal approach to defining semantics for languages syntactically grounded on meta models. DMM has been designed with the aim of getting highly...
139
Voted
SSR
2001
15 years 5 months ago
2001
As wide-area open networks like the Internet and intranets grow larger, mobile agent technology is attracting more attention. Mobile agents are units of software that can deal wit...
WSC
1996
15 years 5 months ago
1996
In this paper, we identify and discuss the features we believe are key to the successful use of simulation as a manufacturing support tool. The discussion begins with three sample...