4799 search results - page 429 / 960 » Model Based Requirements Engineering for Embedded Software |
159
click to vote
SEFM
2006
IEEE
16 years 25 days ago
2006
IEEE
tic analysis tools based on abstraction are sound but not complete. Several practical static analysis tools are heuristic in nature —they are neither sound nor complete, but have...
192
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Large web search engines have to answer thousands of queries per second with interactive response times. Due to the sizes of the data sets involved, often in the range of multiple...
175
click to vote
CN
2002
15 years 6 months ago
2002
Destination-based forwarding in traditional IP routers has not been able to take full advantage of multiple paths that frequently exist in Internet Service Provider Networks. As a...
156
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
The Aero Repair and Overhaul industry is facing an increasing challenge of prediction and scheduling of engine overhauls to remain competitive in a complex business arena. An appr...
192
click to vote
COMPSAC
2006
IEEE
16 years 27 days ago
2006
IEEE
Service-based systems have many applications, such as collaborative research and development, e-business, health care, military applications, and homeland security. In dynamic ser...