2748 search results - page 239 / 550 » Generating Object-Z Specifications from Use Cases |
113
click to vote
GIS
2009
ACM
15 years 5 months ago
2009
ACM
A spatiotemporal network is a spatial network (e.g., road network) along with the corresponding time-dependent weight (e.g., travel time) for each edge of the network. The design ...
105
Voted
PRIS
2004
15 years 2 months ago
2004
Information Extraction (IE) from text /web documents has become an important application area of AI. As the number of web sites and documents has grown dramatically, the users need...
100
Voted
APSEC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—As software evolves, engineers use regression testing to evaluate its fitness for release. Such testing typically begins with existing test cases, and many techniques h...
149
click to vote
ICALP
1998
Springer
15 years 5 months ago
1998
Springer
Interval Routing Schemes (IRS for short) have been extensively investigated in the past years with special emphasis on shortest paths. Besides their theoretical interest, IRS have...
HICSS
2009
IEEE
15 years 8 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...