34 search results - page 4 / 7 » A Fully Abstract Domain Model for the pi-Calculus |
TOOLS
1999
IEEE
13 years 11 months ago
1999
IEEE
Experience on a large banking application has highlighted expressive weaknesses in the standard (concrete) syntax of UML, resulting in models that are under-constrained. It es, ho...
TCSV
2008
13 years 7 months ago
2008
Abstract--Modeling background and segmenting moving objects are significant techniques for video surveillance and other video processing applications. Most existing methods of mode...
EDOC
2004
IEEE
13 years 11 months ago
2004
IEEE
Abstract. This paper focuses on how to model and build composite web services from already existing services. We build on the experience in workflow modeling and see if the princip...
JUCS
2010
13 years 5 months ago
2010
Abstract: The application of Web 2.0 tools and methodologies in the domain of eGovernment is not yet a fully exploited area due to the immaturity of the software support, and the l...
LICS
1997
IEEE
13 years 11 months ago
1997
IEEE
We present a categorical theory of ‘well-behaved’ operational semantics which aims at complementing the established theory of domains and denotational semantics to form a cohe...