Sciweavers

3763 search results - page 559 / 753
» Component-Based Software Engineering Processes
Sort
View
COLING
1990
15 years 7 months ago
Concept Analysis And Terminology: A Knowledge-Based Approach To Documentation
The central concern of terminology, a component of the general documentation process, is concept analysis, an activity which is becoming recognized as fundamental as term banks evo...
Douglas R. Skuce, Ingrid Meyer
FOSSACS
2009
Springer
16 years 1 months ago
Normal Bisimulations in Calculi with Passivation
Behavioral theory for higher-order process calculi is less well developed than for first-order ones such as the π-calculus. In particular, effective coinductive characterization...
Sergueï Lenglet, Alan Schmitt, Jean-Bernard S...
SFM
2009
Springer
143views Formal Methods» more  SFM 2009»
16 years 1 months ago
Service Interaction: Patterns, Formalization, and Analysis
Abstract. As systems become more service oriented and processes increasingly cross organizational boundaries, interaction becomes more important. New technologies support the devel...
Wil M. P. van der Aalst, Arjan J. Mooij, Christian...
ISSRE
2005
IEEE
16 years 2 days ago
Testing Web Services by XML Perturbation
The eXtensible Markup Language (XML) is widely used to transmit data across the Internet. XML schemas are used to define the syntax of XML messages. XML-based applications can re...
Wuzhi Xu, Jeff Offutt, Juan Luo
SOCO
2005
Springer
15 years 12 months ago
Composition-Oriented Service Discovery
Abstract. Service discovery and service aggregation are two crucial issues in the emerging area of Service-oriented Computing (SoC). We propose a new technique for the discovery of...
Antonio Brogi, Sara Corfini, Razvan Popescu