1146 search results - page 173 / 230 » Formal Specification Generation from Requirement Documents |
ICSE
1999
IEEE-ACM
15 years 2 months ago
1999
IEEE-ACM
In this paper we present the experiences and architecture from a research project conducted in cooperation with two industry partners. The goal of the project was to reengineer an...
AISM
2004
14 years 11 months ago
2004
Although, many organisations have implemented technical solutions to protect information resources from adverse events, internal security breaches continue to occur. Therefore an ...
RIAO
2000
14 years 11 months ago
2000
It is a traditional belief that in order to scale-up to more effective retrieval and access methods modern Information Retrieval has to consider more the text content. The modalit...
ICPADS
2008
IEEE
15 years 4 months ago
2008
IEEE
We collected packet traces from Second Life client sessions and analyzed the packet contents. We observed that textures constitute a majority of the network traffic. We further c...
IJCAI
1989
14 years 11 months ago
1989
gn problem can be abstractly characterized as a constrained function-to-structure mapping. The de sign task takes as input the specifications of the desired functions of a device...