886 search results - page 171 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
ATAL
2007
Springer
15 years 1 months ago
2007
Springer
Merging operators try to define the beliefs of a group of agents according to the beliefs of each member of the group. Several model-based propositional belief merging operators h...
CORR
1999
Springer
14 years 9 months ago
1999
Springer
In recent work we have presented a formal framework for linguistic annotation based on labeled acyclic digraphs. These `annotation graphs' oer a simple yet powerful method fo...
129
click to vote
ICRA
2008
IEEE
15 years 4 months ago
2008
IEEE
— Planetary exploration systems, operating under severe environmental and operating conditions, have thus far successfully employed carefully calibrated stereo cameras and manipu...
SPLC
2008
14 years 11 months ago
2008
Software Product-lines (SPLs) use modular software components that can be reconfigured into different variants for different requirements sets. Feature modeling is a common method...
WSC
2007
15 years 2 days ago
2007
This panel reflects upon their experiences as simulation professionals and shares their thoughts regarding elements of their simulation education that they have found most helpful...