1336 search results - page 267 / 268 » codes 2005 |
CAD
2005
Springer
13 years 5 months ago
2005
Springer
Computer simulations are powerful tools frequently used today in many important applications, for example to build safer buildings, to crash-test an automobile before it is built,...
ICSE
2007
IEEE-ACM
13 years 11 months ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
GI
2005
Springer
13 years 11 months ago
2005
Springer
: Das Anforderungsmanagement ist eine wissensintensive Aktivität bei der Entwicklung von Anwendungssystemen. In diesem Beitrag werden Wissensarten und typische Probleme im Rahmen ...
GI
2005
Springer
13 years 11 months ago
2005
Springer
: In diesem Artikel wird die Verwendung von Real Options als Modell f¨ur die Entscheidung ¨uber alternative Strategien in der Softwareentwicklung vorgestellt. Der Fokus liegt hie...
NETWORK
2008
13 years 5 months ago
2008
Recently, WiMAX has been proposed as an attractive wireless communication technology for providing broadband access for metropolitan areas. Despite its salient features from the t...