846 search results - page 8 / 170 » The Use of Z |
TASE
2008
IEEE
15 years 4 months ago
2008
IEEE
Symmetry reduction holds great promise to counter the state explosion problem. However, currently it is “conducting a life on the fringe”, and is not widely applied, mainly du...
158
click to vote
VLDB
2007
ACM
15 years 10 months ago
2007
ACM
Given a set of multidimensional data points, skyline query retrieves a set of data points that are not dominated by any other points. This query is useful for multi-preference ana...
FMICS
2007
Springer
15 years 3 months ago
2007
Springer
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
68
Voted
SEKE
2005
Springer
15 years 3 months ago
2005
Springer
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
ICRA
1999
IEEE
15 years 1 months ago
1999
IEEE