1660 search results - page 117 / 332 » Abstract Application Modeling for System Design Space Explor... |
132
click to vote
EASSS
2001
Springer
15 years 8 months ago
2001
Springer
This contribution presents a knowledge-based model of the agents’ mutual awareness (social knowledge) and justifies its role in various classes of applications of the concept of...
178
click to vote
SPIN
2004
Springer
15 years 9 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
155
click to vote
VIS
2004
IEEE
16 years 5 months ago
2004
IEEE
Grid computing provides a challenge for visualization system designers. In this research, we evolve the dataflow concept to allow parts of the visualization process to be executed...
134
click to vote
MTA
2000
15 years 3 months ago
2000
As the amount of information technology increases, managing information resources, so that the correct people can find the information easily, becomes a critical issue. Hypermedia...
118
click to vote
FMCAD
2007
Springer
15 years 10 months ago
2007
Springer
Abstract— Model checking can be aided by inductive invariants, small local properties that can be proved by simple induction. We present a way to automatically extract inductive ...