IGARSS
2010
13 years 8 months ago
2010
The ESA project GlobSnow develops products and services for snow extent and snow water equivalent. The time series of Snow Extent (SE) products will cover the whole seasonally sno...
IFM
2009
Springer
13 years 9 months ago
2009
Springer
This paper introduces action refinement in the context of CSP B. Our motivation to include this notion of refinement within the CSP B framework is the desire to increase flexibilit...
IFM
2009
Springer
13 years 9 months ago
2009
Springer
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
IFM
2009
Springer
13 years 9 months ago
2009
Springer
Abstract. The complete specification of full contracts -- contracts which include tolerated exceptions, and which enable reasoning about the contracts themselves, can be achieved u...
ICFCA
2009
Springer
13 years 9 months ago
2009
Springer
ICFCA
2009
Springer
13 years 9 months ago
2009
Springer
Abstract. Standard Support Vector Machines (SVM) text classification relies on bag-of-words kernel to express the similarity between documents. We show that a document lattice can ...
FORTE
2009
13 years 9 months ago
2009
Abstract. In this paper, we present an approach to define the semantics for object-oriented modeling languages. One important property of this semantics is to support underspecifie...
FORTE
2009
13 years 9 months ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
FORTE
2009
13 years 9 months ago
2009
Abstract. Service compositions leverage remote services to deliver addedvalue distributed applications. Since services are administered and run by independent parties, the governan...
FORTE
2009
13 years 9 months ago
2009
