Sciweavers

8495 search results - page 1449 / 1699
» IT Support for Healthcare Processes
Sort
View
RE
2010
Springer
15 years 1 months ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis
SEMWEB
2010
Springer
15 years 1 months ago
Theoretical foundations and engineering tools for building ontologies as reference conceptual models
Abstract. Perhaps the most fundamental notion underlying the desiderata for a successful Semantic Web is Semantic Interoperability. In this context, ontologies have been more and m...
Giancarlo Guizzardi
SIAMADS
2010
145views more  SIAMADS 2010»
15 years 1 months ago
Propagation of Spike Sequences in Neural Networks
Precise spatiotemporal sequences of action potentials are observed in many brain areas and are thought to be involved in the neural processing of sensory stimuli. Here, we examine ...
Arnaud Tonnelier
TIM
2010
144views Education» more  TIM 2010»
15 years 1 months ago
Extending Polynomial Chaos to Include Interval Analysis
Polynomial chaos theory (PCT) has been proven to be an efficient and effective way to represent and propagate uncertainty through system models and algorithms in general. In partic...
Antonello Monti, Ferdinanda Ponci, Marco Valtorta
TMC
2010
125views more  TMC 2010»
15 years 1 months ago
Threshold-Based Media Streaming Optimization for Heterogeneous Wireless Networks
The integration of different wireless access technologies combined with the huge characteristic diversity of supported services in next-generation wireless systems creates a real h...
Ahmed H. Zahran, Cormac J. Sreenan
« Prev « First page 1449 / 1699 Last » Next »