1888 search results - page 102 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
117
click to vote
CODES
2000
IEEE
15 years 7 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...
128
Voted
ECBS
2006
IEEE
15 years 9 months ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
133
click to vote
ICPR
2006
IEEE
16 years 4 months ago
2006
IEEE
Building a generic content-based sports video analysis system remains a challenging problem because of the diversity in sports rules and game features which makes it difficult to ...
136
click to vote
ENTCS
2002
15 years 3 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
155
click to vote
TRIDENTCOM
2010
IEEE
15 years 1 months ago
2010
IEEE
Deploying and controlling experiments running on a distributed set of resources is a challenging task. Software developers often spend a significant amount of time dealing with the...