10159 search results - page 348 / 2032 » System Design Validation Using Formal Models |
130
Voted
PACS
2000
Springer
15 years 7 months ago
2000
Springer
Reducing power, on both a per cycle basis and as the total energy used over the lifetime of an application, has become more important as small and embedded devices become increasi...
182
click to vote
IADIS
2004
15 years 5 months ago
2004
As e-commerce is considered an excellent alternative for business to reach new customers, interests in design principles for e-commerce websites, are increasing. However, not many...
164
click to vote
PEWASUN
2005
ACM
15 years 9 months ago
2005
ACM
The design and evaluation of Inter-Vehicle Communication (IVC) protocols rely much on the accurate and efficient computational simulations. For simulations of Medium Access Contro...
120
click to vote
ALIFE
2007
15 years 4 months ago
2007
Robert Rosen’s central theorem states that organisms are fundamentally different to machines, mainly because they are ‘‘closed with respect to effcient causation.’’ The p...
123
Voted
WWW
2005
ACM
16 years 4 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...