Sciweavers

3726 search results - page 536 / 746
» A structured definition of the modeling process
Sort
View
ICALP
2005
Springer
16 years 1 days ago
Basic Observables for a Calculus for Global Computing
We introduce a foundational language for modelling applications over global computers whose interconnection structure can be explicitly manipulated. Together with process distribut...
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
ISNN
2005
Springer
16 years 19 hour ago
Feature Selection and Intrusion Detection Using Hybrid Flexible Neural Tree
Current Intrusion Detection Systems (IDS) examine all data features to detect intrusion or misuse patterns. Some of the features may be redundant or contribute little (if anything)...
Yuehui Chen, Ajith Abraham, Ju Yang
MMM
2003
Springer
152views Multimedia» more  MMM 2003»
15 years 11 months ago
Semantic Video Annotation and Vague Query
The Digital Video Album (DVA) system described here integrates various cooperating subsystems to index and query video documents according to their semantic content and other meta...
Qiuying Zhang, Mohan S. Kankanhalli, Philippe Mulh...
FIDJI
2003
Springer
15 years 11 months ago
Seamless UML Support for Service-Based Software Architectures
The UML has become the de facto standard for the analysis and design of complex software. Tool support today includes the generation of code realizing the structural model describe...
Matthias Tichy, Holger Giese
GMP
2002
IEEE
15 years 11 months ago
The Minkowski Sum of Two Simple Surfaces Generated by Slope-Monotone Closed Curves
We present an algorithm for computing Minkowski sums among surfaces of revolution and surfaces of linear extrusion, generated by slope-monotone closed curves. The special structur...
Joon-Kyung Seong, Myung-Soo Kim, Kokichi Sugihara