Sciweavers

1236 search results - page 12 / 248
» The Problems of Data Modeling in Software Practice
Sort
View
ICFEM
2010
Springer
14 years 10 months ago
A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model
Despite the advancements of concurrency theory in the past decades, practical concurrent programming has remained a challenging activity. Fundamental problems such as data races an...
Scott West, Sebastian Nanz, Bertrand Meyer
98
Voted
AC
2005
Springer
14 years 11 months ago
Software model checking with SPIN
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
Gerard J. Holzmann
SOFT
2000
15 years 3 months ago
Problems and Prospects in Fuzzy Data Analysis
In meeting the challenges that resulted from the explosion of collected, stored, and transferred data, Knowledge Discovery in Databases or Data Mining has emerged as a new research...
Rudolf Kruse, Christian Borgelt, Detlef Nauck
TAGT
1994
Springer
154views Graph Theory» more  TAGT 1994»
15 years 3 months ago
Issues in the Practical Use of Graph Rewriting
Graphs are a popular data structure, and graph-manipulation programs are common. Graph manipulations can be cleanly, compactly, and explicitly described using graph-rewriting notat...
Dorothea Blostein, Hoda Fahmy, Ann Grbavec
JCIT
2010
144views more  JCIT 2010»
14 years 6 months ago
A Model for Software Selection with Fuzzy Linguistic Information
With respect to multiple attribute decision making problem with triangular fuzzy linguistic information, in which the attribute weights and expert weights take the form of real nu...
Juchi Hou