3742 search results - page 360 / 749 » On the Use of Formal Techniques for Validation |
149
Voted
IWPC
2008
IEEE
16 years 1 months ago
2008
IEEE
Libraries are the most widespreaded form of software reuse. In order to properly use a library API, its clients should fulfill a series of (many times implicit) assumptions made ...
157
click to vote
IFM
2007
Springer
16 years 28 days ago
2007
Springer
Many process calculi have been proposed since Robin Milner and Tony Hoare opened the way more than 25 years ago. Although they are based on the same kernel of operators, most of th...
191
click to vote
IAT
2006
IEEE
16 years 25 days ago
2006
IEEE
This paper introduces a multi-agent system (MAS) approach for modelling social behaviours in children’s play. The children, the dynamics of their play, and the playground are mo...
224
click to vote
IHIS
2005
ACM
16 years 10 days ago
2005
ACM
Current Web services composition proposals, such as BPML, BPEL, WSCI, and OWL-S, provide notations for describing the control and data flows in Web service collaborations. However...
187
Voted
ICCV
2003
IEEE
16 years 1 days ago
2003
IEEE
This paper addresses the problem of computing the trajectory of a camera from sparse positional measurements that have been obtained from visual localisation, and dense differenti...