10038 search results - page 1770 / 2008 » Model Checking for Managers |
140
click to vote
FBIT
2007
IEEE
15 years 11 months ago
2007
IEEE
The tree representation as a model for organismal evolution has been in use since before Darwin. However, with the recent unprecedented access to biomolecular data it has been dis...
157
click to vote
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
New product development (NPD) projects require efficient strategies for reducing time to market and responding faster and better to the customer needs. While these strategies were...
113
Voted
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper describes the development of tools to support better scheduling and sequencing of barge tows on a congested portion of the Upper Mississippi River. Our study section co...
144
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— IETF has proposed Mobile IPv6-based Network Mobility (NEMO) basic support protocol (BSP) to support network mobility. NEMO BSP inherits all the drawbacks of Mobile IPv6...
125
click to vote
ICDCS
2007
IEEE
15 years 11 months ago
2007
IEEE
Peer to peer (P2P) systems are moving from application specific architectures to a generic service oriented design philosophy. This raises interesting problems in connection with...