77 search results - page 10 / 16 » A Verification Approach for GALS Integration of Synchronous ... |
DALT
2004
Springer
15 years 1 months ago
2004
Springer
Systems of autonomous agents providing automated services over the Web are fast becoming a reality. Often these agent systems are constructed using procedural architectures that pr...
STEP
2005
IEEE
15 years 3 months ago
2005
IEEE
Interoperability in service oriented environments is heavily in uenced by the view that the cooperating services have on their data. e term service for the abstract contract concl...
IADT
1998
14 years 11 months ago
1998
Multimedia Database Management Systems (MMDBMS) have to efficiently provide the specific functionalities required by time-dependent multimedia data types. During presentation play...
ECBS
2006
IEEE
15 years 3 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...
DEDS
2002
14 years 9 months ago
2002
We propose an approach that integrates and extends known techniques from different areas to handle and analyze a complex and large system described as a network of synchronized com...