10159 search results - page 657 / 2032 » System Design Validation Using Formal Models |
292
click to vote
OR
2011
Springer
15 years 2 months ago
2011
Springer
Developing Web-based systems for agriculture and rural development requires the collaboration of experts from different scientific fields and backgrounds. Thus, it is crucial to ...
197
click to vote
CVPR
2005
IEEE
16 years 9 months ago
2005
IEEE
We propose a simple model of human motion as a switching linear dynamical system where the switches correspond to contact forces with the ground. This significantly improves the m...
203
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— In the field of mobile robotics, trajectory details are seldom taken into account to qualify robot performance. Most metrics rely mainly on global results such as the total ti...
216
click to vote
CCGRID
2002
IEEE
16 years 8 days ago
2002
IEEE
Resource management is a central part of a Grid computing system. In a large-scale wide-area system such as the Grid, security is a prime concern. One approach is to be conservati...
214
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...