Sciweavers

913 search results - page 53 / 183
» Toward Formalizing Structured Analysis
Sort
View
DICS
2006
13 years 11 months ago
Definition and Correct Refinement of Operation Specifications
Abstract. Modern incremental and iterative software engineering processes advocate to build software systems by first creating a highly simpliabstract model of the system which is ...
Thomas Baar, Slavisa Markovic, Frédé...
CIMCA
2006
IEEE
14 years 3 months ago
Investigating Organisational Structures with Networks of Planning Agents
In this paper, we present a simulation model specifically for investigating formal and informal organisational structures. CAVALIER-NPA (Networks of Planning Agents) is an agent-b...
Anthony Dekker, Lavindra de Silva
SEMWEB
2009
Springer
14 years 3 months ago
Measuring the Structural Preservation of Semantic Hierarchy Alignment
We present a method to measure the amount of structural distortion carried by an alignment between two taxonomic cores of ontologies represented as semantic hierarchies. We present...
Cliff Joslyn, Patrick Paulson, Amanda White
EACL
1989
ACL Anthology
13 years 10 months ago
Translation By Structural Correspondences
We sketch and illustrate an approach to machine translation that exploits the potential of simultaneous correspondences between separate levels of linguistic representation, as fo...
Ronald M. Kaplan, Klaus Netter, Jürgen Wedeki...
WWW
2008
ACM
14 years 10 months ago
Toward a model of service interaction enabler in mobile environment
Proliferation of mobile devices has posed challenges in the development of interaction models among devices. These models should allow the devices involved in an interaction to de...
Eddie Leung, Maria Indrawan, Sea Ling