4074 search results - page 668 / 815 » Abstract Graph Transformation |
103
click to vote
ICWE
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. As a consequence of the success of the Web, methodologies for information system development need to consider systems that use the Web paradigm. These Web Information Sys...
122
click to vote
INFOCOM
2002
IEEE
15 years 6 months ago
2002
IEEE
Abstract— We present in this paper an analytical model for the calculation of network load and drop probabilities in a TCP/IP network with general topology. First we formulate ou...
126
Voted
ISSS
2002
IEEE
15 years 6 months ago
2002
IEEE
ForSyDe (FORmal SYstem DEsign) is a methodology which addresses the design of SoC applications which may contain control as well as data flow dominated parts. Starting with a for...
101
click to vote
SIGMOD
2010
ACM
15 years 6 months ago
2010
ACM
We demonstrate ProgXe, a practical approach to support MultiCriteria Decision Support (MCDS) applications that need to report results as they are being generated to enable the use...
115
click to vote
ICALP
2010
Springer
15 years 6 months ago
2010
Springer
Universal Coalgebra provides the notion of a coalgebra as the natural mathematical generalization of state-based evolving systems such as (infinite) words, trees, and transition s...