3911 search results - page 625 / 783 » Using Operational Architecture to Model Embedded Software |
194
click to vote
ISDO
2000
15 years 7 months ago
2000
This paper presents an approach for the specification and implementation of business contracts needed for Business-to-Business (B2B) services. We first examine typical elements of...
179
click to vote
JCM
2008
15 years 6 months ago
2008
The use of antenna arrays at emission and reception seems to represent a prominent solution for future wireless systems, it improves data rates and enhances the quality of service....
165
click to vote
SERVICES
2010
15 years 4 months ago
2010
Abstract--Service-Oriented Architectures address the development of distributed and dynamic service-based applications. Due to the dynamics of their environments, services should b...
167
click to vote
FMICS
2007
Springer
16 years 15 days ago
2007
Springer
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
188
click to vote
ISORC
2002
IEEE
15 years 11 months ago
2002
IEEE
Object-oriented, concurrent, and event-based programming models provide a natural framework in which to express the behavior of distributed and embedded software systems. However,...