1829 search results - page 139 / 366 » Towards Validation of Requirements Models |
190
click to vote
WSC
1997
15 years 7 months ago
1997
A methodology is presented which allows comparison between models under different modeling paradigms. Consider the following situation: Two models have been constructed to study d...
131
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
The relative tolerances for interconnect and device parameter variations have not scaled with feature sizes which have brought about significant performance variability. As we sca...
189
click to vote
ENTCS
2008
15 years 6 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
174
click to vote
IPPS
2006
IEEE
16 years 15 days ago
2006
IEEE
Service Oriented Architectures are emerging as the recommended paradigm for developing dispersed escience environments. In this paper we analyze the characteristics and requiremen...
148
click to vote
ESA
2004
Springer
15 years 12 months ago
2004
Springer
This paper considers the convergence problem in autonomous mobile robot systems. A natural algorithm for the problem requires the robots to move towards their center of gravity. Th...