5355 search results - page 677 / 1071 » Modules |
189
Voted
ADBIS
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. Database modeling is based on the assumption of a high regularity of its application areas, an assumption which applies to both the structure of data and the behavior of ...
201
Voted
BROADNETS
2005
IEEE
16 years 28 days ago
2005
IEEE
— Due to varying wireless channel conditions, the IEEE 802.11 wireless local area network (WLAN) standard supports multiple modulation types to accommodate the tradeoff between d...
225
click to vote
IWPSE
2005
IEEE
16 years 27 days ago
2005
IEEE
Visualizing software evolution is essential for identifying design erosions that have occurred over the past releases. Making evolutionary aspects explicit via visual representati...
224
click to vote
KBSE
2005
IEEE
16 years 27 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
226
click to vote
KBSE
2005
IEEE
16 years 27 days ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...