984 search results - page 172 / 197 » Experimenting with Multi-Level Models in a Two-Level Modelin... |
144
click to vote
ATAL
2004
Springer
15 years 7 months ago
2004
Springer
We have developed a set of tools to allow the use of model-checking techniques for the verification of systems directly implemented in an agent-oriented programming language. The ...
139
Voted
DRM
2006
Springer
15 years 7 months ago
2006
Springer
Through legislation and technology the film industry has been seeking to fully control usage of the bits it creates; their model is "restrictive" digital-rights manageme...
135
Voted
OHS
2000
Springer
15 years 7 months ago
2000
Springer
There has been tremendous growth in electronic commerce over the past few years. This growth is expected to sustain momentum in the future. Hence, the Internet has become an essent...
126
Voted
ASPDAC
1995
ACM
15 years 7 months ago
1995
ACM
One of the interesting problems in hardware-software co-design is that of debugging embedded software in conjunction with hardware. Currently, most software designers wait until a...
103
Voted
FASE
2010
Springer
15 years 6 months ago
2010
Springer
Runtime assertion checking is useful for debugging programs and specifications. Existing tools check invariants as well as method preand postconditions, but mostly ignore assignabl...