440 search results - page 56 / 88 » A challenge for atomicity verification |
CBSE
2009
Springer
15 years 4 months ago
2009
Springer
A challenge of componentizing legacy applications is to extract behavior specification of suggested components. It is desirable to preserve a relation between the original structur...
CODES
2000
IEEE
15 years 4 months ago
2000
IEEE
In current design practice synthesis tools play a key role, letting designers to concentrate on the specificationof the system being designed by carrying out repetitive tasks such...
DATE
2000
IEEE
15 years 4 months ago
2000
IEEE
In current microprocessors and systems, an increasingly high silicon portion is derived through automatic synthesis, with designers working exclusively at the RT-level, and design...
105
click to vote
CIA
2000
Springer
15 years 4 months ago
2000
Springer
Effective development of nontrivial systems of collaborative information agents requires that an in-depth analysis is made resulting in (1) specification of requirements at differe...
ARGMAS
2008
Springer
15 years 1 months ago
2008
Springer
Verification that agent communication protocols have desirable properties or do not have undesirable properties is an important issue in agent systems where agents intend to commu...