نتایج جستجو برای: space for tools

تعداد نتایج: 10526007  

2004
Danil Sokolov Julian P. Murphy Alexandre V. Bystrov Alexandre Yakovlev

Dual-rail encoding, return-to-spacer protocol and hazard-free logic can be used to resist differential power analysis attacks by making the power consumption independent of processed data. Standard dual-rail logic uses a protocol with a single spacer, e.g. all-zeroes, which gives rise to power balancing problems. We address these problems by incorporating two spacers; the spacers alternate betw...

2008
Deborah McGuinness Peter Fox Luca Cinquini Patrick West Jose Garcia James L. Benedict Don Middleton Peter Coutts

Our work is aimed at enabling a new style of virtual, distributed scientific research. We have designed, built, and deployed an interdisciplinary virtual observatory – an online service providing access to what appears to be an integrated collection of scientific data. The Virtual Solar-Terrestrial Observatory (VSTO) is a production semantic web data framework providing access to observational ...

2009
Cas J. F. Cremers Pascal Lafourcade Philippe Nadeau

There are several automatic tools available for the symbolic analysis of security protocols. The models underlying these tools differ in many aspects. Some of the differences have already been formally related to each other in the literature, such as difference in protocol execution models or definitions of security properties. However, there is an important difference between analysis tools th...

2006
Jerry Zhang

There are a lot of static code analysis tools to automatically find program errors. Traditional techniques usually involve formal methods and complicated computations, and thus suffer from poor extendibility and performance. FindBugs was developed to address these issues. The system is based on the concept of bug patterns, which are claimed to be easy to implement and effective to discover real...

2004
Jin Song Dong Shengchao Qin Jun Sun

The requirements capture of complex systems requires powerful mechanisms for specifying system state, structure and interactive behaviors. Integrated formal specification languages are well suited for presenting more complete and coherent requirement models for complex systems. Given an integrated model, one can project it into multiple views for specialized analysis. Message Sequence Charts (M...

1999
Jeffrey Jacobson Jane Vadnal

An interactive three-dimensional model is an effective tool for the display of archeological data. Spatial data from a site can be directly visualized as the central model, while much of the non-spatial information can be presented with text, sound, animations or other such tools. The close relationship between the spatial and non-spatial data (i.e. an artifact and its name) allows tight coupli...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید