9018 search results - page 87 / 1804 » 3D-Brain Model Software |
MODELS
2009
Springer
15 years 5 months ago
2009
Springer
The proliferation of smart spaces and emergence of new standards, such as Web Services, have paved the way for a new breed of software systems. Often the complete functional and Qo...
KBSE
2008
IEEE
15 years 5 months ago
2008
IEEE
—We describe PTYASM, an enhanced version of the YASM software model checker which uses proof templates. These templates associate correctness arguments with common programming id...
113
click to vote
QOSA
2007
Springer
15 years 4 months ago
2007
Springer
: Modern society relies heavily on complex software systems for everyday activities. Dependability of these systems thus has become a critical feature that determines which product...
COMPSAC
2002
IEEE
15 years 3 months ago
2002
IEEE
Software standards are highly recommended because they promise faster and more efficient ways for software development with proven techniques and standard notations. Designers who...
APSEC
2004
IEEE
15 years 2 months ago
2004
IEEE
With the advent of globalization and the Internet, the concept of global software development is gaining ground. The global development model opens up the possibility of 24-hour s...