664 search results - page 42 / 133 » Building continuous webbed models for system F |
IV
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper describes a visualisation tool, VlUM, designed to support users in scrutinising models of their interests, preferences and knowledge. We also describe MECUREO, a tool f...
108
click to vote
HYBRID
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
SIGMOD
2002
ACM
15 years 12 months ago
2002
ACM
The Grid is an emerging platform to support on-demand "virtual organisations" for coordinated resource sharing and problem solving on a global scale. The application thr...
105
click to vote
INFOCOM
2003
IEEE
15 years 5 months ago
2003
IEEE
— Peer-peer networking has recently emerged as a new paradigm for building distributed networked applications. In this paper we develop simple mathematical models to explore and ...
107
click to vote
IJWET
2008
14 years 10 months ago
2008
: Building service-based architectures has become a major area of interest since the advent of web services. Modelling these architectures is a central activity. Model-driven devel...