9974 search results - page 1484 / 1995 » Software Interconnection Models |
158
click to vote
USS
2008
15 years 9 months ago
2008
For the last few years, many commodity computers have come equipped with a Trusted Platform Module (TPM). Existing research shows that the TPM can be used to establish trust in th...
166
click to vote
WSC
2008
15 years 9 months ago
2008
Modular construction has the advantage of producing structures quickly and efficiently, while not requiring the resources to build a structure to be co-located with the constructi...
183
click to vote
WSC
2007
15 years 9 months ago
2007
I summarize my experience from having taught simulation to over 7000 students for over 30 years; to undergraduate, graduate and Ph. D. business students, executives and high schoo...
196
click to vote
WSC
2008
15 years 9 months ago
2008
Optimization and design of production and service operations has been a cornerstone of simulation applications for many years. Recently there has been increasing interest in excel...
246
Voted
CAV
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. The use of Craig interpolants has enabled the development of powerful hardware and software model checking techniques. Efficient algorithms are known for computing interp...