2836 search results - page 517 / 568 » Model Checking for Software Architectures |
135
Voted
MOBILITY
2009
ACM
15 years 10 months ago
2009
ACM
Vocal systems are a well-established reality. Examples of popular voice-based applications include helpdesk services, reservation systems, and vocal mailboxes. These services, tha...
143
Voted
SERA
2007
Springer
15 years 10 months ago
2007
Springer
Component-based development has become a recognized technique for building large scale distributed applications. Although the maturity of this technique, there appears to be quite...
152
Voted
CODES
2006
IEEE
15 years 9 months ago
2006
IEEE
Modern embedded systems for image processing involve increasingly complex levels of functionality under real-time and resourcerelated constraints. As this complexity increases, th...
131
Voted
COMPSAC
2006
IEEE
15 years 9 months ago
2006
IEEE
The convergence of data, voice and multimedia communication over digital networks, coupled with continuous improvement in network capacity and reliability has significantly enrich...
150
click to vote
IEEESCC
2006
IEEE
15 years 9 months ago
2006
IEEE
Service composition aims to provide an efficient and accurate model of a service, based on which the global service oriented architecture (SOA) can be realized, allowing value add...