Sciweavers

442 search results - page 64 / 89
» A Model for Capturing and Managing Software Engineering Know...
Sort
View
ESWA
2008
96views more  ESWA 2008»
13 years 7 months ago
samap: An user-oriented adaptive system for planning tourist visits
In this paper, we present samap, whose goal is to build a software tool to help different people visit different cities. This tool integrates modules that dynamically capture user...
Luis A. Castillo, Eva Armengol, Eva Onaindia, Laur...
FSEN
2007
Springer
14 years 1 months ago
Hoare Logic for ARM Machine Code
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...
Magnus O. Myreen, Anthony C. J. Fox, Michael J. C....
ATAL
1995
Springer
13 years 11 months ago
The Architecture of an Agent Building Shell
The agent view provides maybe the right level of abstraction for dealing with complex, distribblem-solving systems. It abstracts from aspects like the hardware or software platfor...
Mihai Barbuceanu, Mark S. Fox
IWSSD
1993
IEEE
13 years 11 months ago
An Active Hypertext Model for System Requirements
We are developing tools to support a conversational metaphor for requirements definition and analysis. Our conversational model consists of three components: (1) a hypertextual re...
Colin Potts, Kenji Takahashi
WEBI
2007
Springer
14 years 1 months ago
Measuring Semantic Similarity between Named Entities by Searching the Web Directory
The importance of named entities in information retrieval and knowledge management has recently brought interest in characterizing semantic relationships between entities. In this...
Jiahui Liu, Larry Birnbaum