3256 search results - page 268 / 652 » Applications of Formal Methods to System Design and Verifica... |
155
click to vote
ICSE
2004
IEEE-ACM
16 years 6 months ago
2004
IEEE-ACM
Semantic Web, the next generation of Web, gives data well-defined and machine-understandable meaning so that they can be processed by remote intelligent agents cooperatively. Onto...
169
click to vote
ICSE
1998
IEEE-ACM
15 years 10 months ago
1998
IEEE-ACM
Component-based software development has proven effective for systems implementation in well-understood application domains, but is still insufficient for the creation of reusable...
162
click to vote
ICRA
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract— In this paper, we present how moment invariants can be used to design a decoupled 2D visual servoing scheme and to minimize the nonlinearity of the interaction matrix r...
183
click to vote
STTT
2010
15 years 5 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
162
click to vote
TC
1998
15 years 6 months ago
1998
—The FRIENDS system developed at LAAS-CNRS is a metalevel architecture providing libraries of metaobjects for fault tolerance, secure communication, and group-based distributed a...