3828 search results - page 708 / 766 » Proof-Based System Engineering Using a Virtual System Model |
GLOBECOM
2010
IEEE
13 years 7 months ago
2010
IEEE
Cognitive networking deals with applying cognition to the entire network protocol stack for achieving stack-wide as well as network-wide performance goals, unlike cognitive radios ...
VLDB
2005
ACM
14 years 9 months ago
2005
ACM
Efficient querying of XML streams will be one of the fundamental features of next-generation information systems. In this paper we propose the TurboXPath path processor, which acce...
DOCENG
2004
ACM
14 years 2 months ago
2004
ACM
XML and its associated languages are emerging as powerful authoring tools for multimedia and hypermedia web content. Furthermore, intelligent presentation generation engines have ...
WSC
2001
13 years 10 months ago
2001
This paper discusses the changes that were required to Ford's Power Train Operations (PTO) simulation environment to ensure the maximum benefit was gained from the investment...
TPDS
2008
13 years 9 months ago
2008
Multicore processors are an architectural paradigm shift that promises a dramatic increase in performance. But, they also bring an unprecedented level of complexity in algorithmic ...