Sciweavers

1631 search results - page 159 / 327
» Extreme Programming - Back to Basics
Sort
View
INFOVIS
2003
IEEE
15 years 7 months ago
Compound Brushing
This paper proposes a conceptual model called compound brushing for modeling the brushing techniques used in dynamic data visualization. In this approach brushing techniques are m...
Hong Chen
VL
2003
IEEE
105views Visual Languages» more  VL 2003»
15 years 7 months ago
Visual composition of web services
Web services are increasingly attracting attention for their ability to provide standard interfaces to heterogeneous distributed services. Through these standard interfaces, it is...
Cesare Pautasso, Gustavo Alonso
CSFW
2000
IEEE
15 years 7 months ago
Reasoning about Secrecy for Active Networks
In this paper we develop a language of mobile agents called uPLAN for describing the capabilities of active (programmable) networks. We use a formal semantics for uPLAN to demonst...
Pankaj Kakkar, Carl A. Gunter, Martín Abadi
WOSP
2000
ACM
15 years 6 months ago
Visual representation of stochastic process algebra models
Performance models are of increasing interest to professionals who do not have a background in mathematical analysis, it is important to provide additional mechanisms by developer...
Nigel Thomas, Malcolm Munro, Peter J. B. King, Rob...
140
Voted
ACMMPC
2000
Springer
231views Mathematics» more  ACMMPC 2000»
15 years 6 months ago
Galois Connections and Fixed Point Calculus
Fixed point calculus is about the solution of recursive equations de˛ned by a monotonic endofunction on a partially ordered set. This tutorial presents the basic theory of ˛xed ...
Roland Carl Backhouse