Search Sciweavers | Sciweavers

18

TASE
2008
IEEE

93views Software Engineering» more TASE 2008»

ProB gets Nauty: Effective Symmetry Reduction for B and Z Models

14 years 2 months ago

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...

Corinna Spermann, Michael Leuschel

claim paper

Read More »

62

click to vote

VLDB
2007
ACM

260views Database» more VLDB 2007»

Approaching the Skyline in Z Order

14 years 8 months ago

Download www.cse.psu.edu

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...

Ken C. K. Lee, Baihua Zheng, Huajing Li, Wang-Chie...

claim paper

Read More »

22

click to vote

FMICS
2007
Springer

144views Formal Methods» more FMICS 2007»

Checking the TWIN Elevator System by Translating Object-Z to SMV

14 years 1 months ago

Download preibusch.de

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 speciﬁcation and its f...

Sören Preibusch, Florian Kammüller

claim paper

Read More »

27

click to vote

SEKE
2005
Springer

108views Software Engineering» more SEKE 2005»

Institution Morphisms for Relating OWL and Z

14 years 1 months ago

Download www.itee.uq.edu.au

Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software speciﬁcation and veriﬁcation tools can be used to complem...

Dorel Lucanu, Yuan-Fang Li, Jin Song Dong

claim paper

Read More »

15

click to vote

ICRA
1999
IEEE

80views Robotics» more ICRA 1999»

Coordinated Motion Generation for Multifingered Manipulation Using Tactile Feedback

14 years 20 hour ago

Download www.ee.ust.hk

S. L. Jiang, K. K. Choi, Z. X. Li

claim paper