Sciweavers

5387 search results - page 126 / 1078
» Generating generic functions
Sort
View
81
Voted
IFL
2005
Springer
103views Formal Methods» more  IFL 2005»
15 years 6 months ago
The Implementation of iData
The iData Toolkit is a toolkit that allows programmers to create interactive, type-safe, dynamic web applications with state on a high level of abstraction. The key element of this...
Rinus Plasmeijer, Peter Achten
88
Voted
ICWE
2004
Springer
15 years 6 months ago
Model-Driven Design of Web Applications with Client-Side Adaptation
Abstract. In this paper, we integrate WebML, a high-level model and technology for building server-side Web applications, with UML-Guide, a UML-based system that generates client-s...
Stefano Ceri, Peter Dolog, Maristella Matera, Wolf...
107
Voted
ECOOPW
1999
Springer
15 years 5 months ago
Aspects and Superimpositions
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...
Shmuel Katz, Joseph Gil
109
Voted
CORR
2006
Springer
102views Education» more  CORR 2006»
15 years 25 days ago
Structural Inference of Hierarchies in Networks
One property of networks that has received comparatively little attention is hierarchy, i.e., the property of having vertices that cluster together in groups, which then join to f...
Aaron Clauset, Cristopher Moore, M. E. J. Newman
63
Voted
CSMR
2006
IEEE
15 years 6 months ago
A Language Independent Framework for Context-sensitive Formatting
Automated formatting is an important technique for the software maintainer. It is either applied separately to improve the readability of source code, or as part of a source code ...
M. G. J. van den Brand, A. Taeke Kooiker, Jurgen J...