Sciweavers

1712 search results - page 19 / 343
» Abstract Constraint Data Types
Sort
View
110
Voted
TACAS
2005
Springer
106views Algorithms» more  TACAS 2005»
15 years 8 months ago
Dependent Types for Program Understanding
Abstract. Weakly-typed languages such as Cobol often force programrepresent distinct data abstractions using the same low-level physical type. In this paper, we describe a techniqu...
Raghavan Komondoor, Ganesan Ramalingam, Satish Cha...
113
Voted
PAKDD
2010
ACM
158views Data Mining» more  PAKDD 2010»
15 years 7 months ago
Integrative Parameter-Free Clustering of Data with Mixed Type Attributes
Abstract. Integrative mining of heterogeneous data is one of the major challenges for data mining in the next decade. We address the problem of integrative clustering of data with ...
Christian Böhm, Sebastian Goebl, Annahita Osw...
124
Voted
WWIC
2004
Springer
133views Communications» more  WWIC 2004»
15 years 8 months ago
Design of Energy Efficient Wireless Networks Using Dynamic Data Type Refinement Methodology
Abstract. This paper presents a new perspective to the design of wireless networks using the proposed dynamic data type refinement methodology. In the forthcoming years, new portab...
Stylianos Mamagkakis, Alexandros Mpartzas, Georgio...
111
Voted
CSMR
2005
IEEE
15 years 8 months ago
Tracing Cross-Cutting Requirements via Context-Based Constraints
In complex systems, it is difficult to identify which system element is involved in which requirement. In this article, we present a new approach for expressing and validating a ...
Felix Bübl, Michael Balser
120
Voted
ISTA
2003
15 years 4 months ago
EPC Modelling based on Implicit Arc Types
Abstract: Event Driven Process Chains (EPC) are commonly used for the modelling of business processes. As modelling is decentralised to personnel not familiar with the formal aspec...
Jan Mendling, Markus Nüttgens