Sciweavers

2421 search results - page 342 / 485
» Integrity Assurance Technique Using Determinant Approach
Sort
View
ECBS
2007
IEEE
142views Hardware» more  ECBS 2007»
15 years 11 months ago
Model-Driven Engineering for Development-Time QoS Validation of Component-Based Software Systems
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems....
James H. Hill, Sumant Tambe, Aniruddha S. Gokhale
136
Voted
ICRA
2007
IEEE
159views Robotics» more  ICRA 2007»
15 years 11 months ago
Experiments with Underwater Robot Localization and Tracking
— This paper describes a novel experiment in which two very different methods of underwater robot localization are compared. The first method is based on a geometric approach in...
Peter I. Corke, Carrick Detweiler, Matthew Dunbabi...
119
Voted
NDSS
2007
IEEE
15 years 11 months ago
Cryptographic Methods for Storing Ballots on a Voting Machine
A direct recording electronic (DRE) voting machine must satisfy several requirements to ensure voter privacy and the integrity of the election. A recent proposal for a vote storag...
John Bethencourt, Dan Boneh, Brent Waters
SCESM
2006
ACM
239views Algorithms» more  SCESM 2006»
15 years 10 months ago
Aspect-oriented software design with a variant of UML/STD
The notion of aspect is important as a systematic approach to the representation of cross-cutting concerns and the incremental additions of new functionalities to an existing syst...
Shin Nakajima, Tetsuo Tamai
ISPD
2005
ACM
185views Hardware» more  ISPD 2005»
15 years 10 months ago
Dragon2005: large-scale mixed-size placement tool
In this paper, we develop a mixed-size placement tool, Dragon2005, to solve large scale placement problems effectively. A top-down hierarchical approach based on min-cut partition...
Taraneh Taghavi, Xiaojian Yang, Bo-Kyung Choi