2004 search results - page 337 / 401 » Comparison of Model Checking Tools for Information Systems |
GRAPHICSINTERFACE
2004
15 years 1 months ago
2004
We present a system for creating interactive exploded view diagrams using 2D images as input. This imagebased approach enables us to directly support arbitrary rendering styles, e...
114
click to vote
CMS
2003
15 years 1 months ago
2003
The Border Gateway Protocol (BGP) is a critical component of the Internet routing infrastructure, used to distribute routing information between autonomous systems (ASes). It is hi...
115
click to vote
BMCBI
2008
14 years 12 months ago
2008
imately 20 million abstracts. Browsing such a huge repository to find relevant information as well as providing elearning service requires new generation of interfaces. Methods suc...
DATE
2010
IEEE
15 years 5 months ago
2010
IEEE
—Recent developments have shown the possibility of leveraging silicon nanophotonic technologies for chip-scale interconnection fabrics that deliver high bandwidth and power effi...
ATC
2009
Springer
15 years 3 months ago
2009
Springer
Currently, there is an increasing tendency to migrate the management of communications and information systems onto the Web. This is making many traditional service support models ...