4340 search results - page 212 / 868 » Formal Methods and Cryptography |
131
click to vote
FCA
2005
Springer
15 years 10 months ago
2005
Springer
About ten years ago, the first serious applications of concept lattices in software analysis were published. Today, a wide range of applications of concept lattices in static and...
105
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
— Current approaches to distributed control involving many robots generally restrict interactions to pairs of robots within a threshold distance. While this allows for provable s...
142
click to vote
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— In this paper, the coupling between Jacobian learning and task sequencing through the redundancy approach is studied. It is well known that visual servoing is robust to...
144
click to vote
CAISE
2005
Springer
15 years 10 months ago
2005
Springer
Enterprise architects seek to align enterprise processes and structure with their supporting IT systems so that enterprises can flourish in their environment. The enterprise archi...
126
click to vote
ECWEB
2005
Springer
15 years 10 months ago
2005
Springer
Many approaches have been developed for modeling the functional aspects of Web applications, but there is a lack of a modeling language for their architectural concerns. This paper...