2836 search results - page 397 / 568 » Model Checking for Software Architectures |
205
Voted
WCRE
2003
IEEE
16 years 13 hour ago
2003
IEEE
Graphical user interfaces (GUIs) are important parts of today’s software and their correct execution is required to ensure the correctness of the overall software. A popular tec...
203
click to vote
SAC
2010
ACM
15 years 1 months ago
2010
ACM
Model-Driven Engineering (MDE) advocates the use of models at every step of the software development process. Within this context, a team of engineers collectively and collaborati...
230
click to vote
APCSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
Although they have been the main server technology for many years, multiprocessors are undergoing a renaissance due to multi-core chips and the attractive scalability properties of...
162
click to vote
JECR
2000
15 years 6 months ago
2000
Electronic auctions have become popular. Recently, multicast technology is changing the Internet environment for e-commerce, and will make available more forms of auctions than we...
190
click to vote
ISQED
2008
IEEE
16 years 1 months ago
2008
IEEE
The effects of random variations during the manufacturing process on devices can be simulated as a variation of transistor parameters. Device degradation, due to temperature or vo...