12981 search results - page 566 / 2597 » Model Checking (Abstract) |
153
click to vote
RE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract--We argue for the creation and use of a very lightweight requirements modeling language as an alternative to textual and pictorial requirements specifications.
210
click to vote
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
On multiprocessors with explicitly managed memory hierarchies (EMM), software has the responsibility of moving data in and out of fast local memories. This task can be complex and...
219
click to vote
FMICS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...
117
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
Individual-based models are a relatively new approach to modelling dynamical systems of interacting entities, for example molecules in a biological cell. Although they are computa...
168
click to vote
ACSD
2006
IEEE
15 years 9 months ago
2006
IEEE
Networks on chip platforms offer the opportunity to introduce a new abstraction level that defines a set of platform services with performance and power characteristics. By making...