Sciweavers

2838 search results - page 392 / 568
» Verifying Controlled Components
Sort
View
ICCS
2007
Springer
14 years 4 months ago
Optimizing Surface Triangulation Via Near Isometry with Reference Meshes
Optimization of the mesh quality of surface triangulation is critical for advanced numerical simulations and is challenging under the constraints of error minimization and density ...
Xiangmin Jiao, Narasimha R. Bayyana, Hongyuan Zha
SEKE
2007
Springer
14 years 4 months ago
Real-Time Trust Management in Agent Based Online Auction Systems
Agent based online auctions have not yet become popular because they are not trustable. One of the major concerns in agent based online auctions is the shilling behavior problem, w...
Rinkesh Patel, Haiping Xu, Ankit Goel
SEKE
2007
Springer
14 years 4 months ago
A Development Platform for Distributed User Interfaces
Developing user interfaces for a heterogeneous environment is a difficult challenge. Partial distribution of the user interface is an event harder one. Specifically providing de...
Anders Larsson, Magnus Ingmarsson, Bo Sun
SMALLTALK
2007
Springer
14 years 4 months ago
Object flow analysis: taking an object-centric view on dynamic analysis
To extract abstract views of the behavior of an object-oriented system for reverse engineering, a body of research exists that analyzes a system’s runtime execution. Those approa...
Adrian Lienhard, Stéphane Ducasse, Tudor G&...
HICSS
2006
IEEE
122views Biometrics» more  HICSS 2006»
14 years 4 months ago
Monitoring of Power System Topology in Real-Time
Power system topology is defined by the connectivity among power system components such as generators, power transformers, transmission lines, loads, etc. The knowledge about topo...
Mladen Kezunovic