1069 search results - page 142 / 214 » Automatic Generation of Language-based Tools |
MKM
2004
Springer
15 years 5 months ago
2004
Springer
This paper describes technologies to create and maintain a problem solving environment based on a framework for distributed mathematical web services. Our approach allows clients t...
IV
2003
IEEE
15 years 5 months ago
2003
IEEE
Implicit information embedded in semantic web graphs, such as topography, clusters, and disconnected subgraphs is difficult to extract from text files. Visualizations of the graph...
101
click to vote
COMPSAC
2000
IEEE
15 years 4 months ago
2000
IEEE
Scenario analysis is a vehicle of separating concerns in the elicitation of users' requirements. It is also a means of requirements validation and verification. In the practi...
IPPS
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper presents the Pure/Epos approach to deal with the high complexity of adaptable operating systems and also to diminish the distance between application and operating syste...
HICSS
1997
IEEE
15 years 4 months ago
1997
IEEE
Business System Engineers, responding to changes in the market place, are faced with the challenge of building increasingly complex and varied systems. Formal approaches and model...