322 search results - page 22 / 65 » Visual Specification of Spatio-Temporal Developments |
EKAW
2008
Springer
13 years 9 months ago
2008
Springer
Query formulation is a key aspect of information retrieval, contributing to both the efficiency and usability of many semantic applications. A number of query languages, such as SP...
AVI
2004
13 years 9 months ago
2004
Complex hypermedia structures can be difficult to author and maintain, especially when the usual hierarchic representation cannot capture important relations. We propose a graph-b...
JASIS
2007
2007
Visualization of the citation impact environments of scientific journals: An online mapping exercise
13 years 7 months ago
Aggregated journal-journal citation networks based on the Journal Citation Reports 2004 of the Science Citation Index (5968 journals) and the Social Science Citation Index (1712 j...
CAV
2000
Springer
13 years 11 months ago
2000
Springer
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
VL
2010
IEEE
13 years 5 months ago
2010
IEEE
Open bug reporting allows end-users to express a vast array of unwanted software behaviors. However, users’ expectations often clash with developers’ implementation intents. W...