Sciweavers

448 search results - page 31 / 90
» Shape specification in design using fuzzy logic
Sort
View
SOFTWARE
2002
14 years 9 months ago
Overview of Fuzzy-RED in Diff-Serv Networks
The rapid growth of the Internet and increased demand to use the Internet for time-sensitive voice and video applications necessitate the design and utilization of new Internet arc...
Loukas Rossides, Chrysostomos Chrysostomou, Andrea...
IICAI
2007
14 years 11 months ago
Automated Test Generation from Models Based on Functional Software Specifications
The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this...
Michael Esser, Peter Struss
FM
1999
Springer
121views Formal Methods» more  FM 1999»
15 years 2 months ago
Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...
Hervé Marchand, Mazen Samaan
INFOCOM
2009
IEEE
15 years 4 months ago
Circuits/Cutsets Duality and a Unified Algorithmic Framework for Survivable Logical Topology Design in IP-over-WDM Optical Netwo
: Given a logical topology and a physical topology , the survivable logical topology design problem in an IP-overWDM optical network is to map the logical links into lightpaths in ...
Krishnaiyan Thulasiraman, Muhammad S. Javed, Guoli...
FSS
2008
105views more  FSS 2008»
14 years 9 months ago
Mining multiple-level fuzzy blocks from multidimensional data
Multidimensional databases are now recognized as being the standard way to store aggregated and historized data. Multidimensional databases are designed to store information on me...
Yeow Wei Choong, Anne Laurent, Dominique Laurent