Sciweavers

1776 search results - page 283 / 356
» A Visual Modeling Environment for Embedded Component Systems
Sort
View
CORR
2010
Springer
157views Education» more  CORR 2010»
13 years 8 months ago
Deriving Specifications of Dependable Systems: toward a Method
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
Manuel Mazzara
3DPVT
2006
IEEE
179views Visualization» more  3DPVT 2006»
14 years 2 months ago
Large-Scale Urban Modeling by Combining Ground Level Panoramic and Aerial Imagery
We describe an interactive system that models regions of an urban environment, such as a group of tall buildings. Traditional image-based modeling methods often cannot model such ...
Lu Wang, Suya You, Ulrich Neumann
TNN
2008
105views more  TNN 2008»
13 years 7 months ago
Incremental Learning of Chunk Data for Online Pattern Classification Systems
This paper presents a pattern classification system in which feature extraction and classifier learning are simultaneously carried out not only online but also in one pass where tr...
Seiichi Ozawa, Shaoning Pang, Nikola K. Kasabov
CORR
2002
Springer
188views Education» more  CORR 2002»
13 years 7 months ago
GridBank: A Grid Accounting Services Architecture (GASA) for Distributed Systems Sharing and Integration
Computational Grids are emerging as a new infrastructure for Internet-based parallel and distributed computing. They enable the sharing, exchange, discovery, and aggregation of re...
Alexander Barmouta, Rajkumar Buyya
HICSS
2003
IEEE
151views Biometrics» more  HICSS 2003»
14 years 1 months ago
A Simple GSPN for Modeling Common Mode Failures in Critical Infrastructures
It is now apparent that our nation’s infrastructures and essential utilities have been optimized for reliability in benign operating environments. As such, they are susceptible ...
Axel W. Krings, Paul W. Oman