Sciweavers

22114 search results - page 183 / 4423
» Use of Models and Modelling Techniques for Service Developme...
Sort
View
FCT
2005
Springer
14 years 1 months ago
Reconstructing Many Partitions Using Spectral Techniques
A partitioning of a set of n items is a grouping of these items into k disjoint, equally sized classes. Any partition can be modeled as a graph. The items become the vertices of th...
Joachim Giesen, Dieter Mitsche
CADE
2010
Springer
13 years 9 months ago
Bugs, Moles and Skeletons: Symbolic Reasoning for Software Development
Abstract. Symbolic reasoning is in the core of many software development tools such as: bug-finders, test-case generators, and verifiers. Of renewed interest is the use of symbolic...
Leonardo Mendonça de Moura, Nikolaj Bj&osla...
MMB
1999
Springer
249views Communications» more  MMB 1999»
14 years 15 days ago
A Development Platform for the Design and Optimization of Mobile Radio Networks
The rapidly increasing traffic demand from mobile users forces network operators and service providers to extend and optimize existing networks as well as to plan entirely new mo...
Jürgen Deissner, Gerhard Fettweis, Jörg ...
DATESO
2007
113views Database» more  DATESO 2007»
13 years 9 months ago
Using XSEM for Modeling XML Interfaces of Services in SOA
In this paper we briefly describe a new conceptual model for XML data called XSEM and how to use it for modeling XML interfaces of services in service oriented architecture (SOA)....
Martin Necasky
DMIN
2006
105views Data Mining» more  DMIN 2006»
13 years 9 months ago
Development of an Optimal Neural Network for Avalanche Forecast in Himalayan Region
- This paper deals with the application of a well-known data mining technique, multi-layer back-propagation neural network, for forecasting of an avalanche in Himalayan region. Met...
Rashpal Kaur, Mahesh Bansal, Atul Parti, V. Rihani