2328 search results - page 137 / 466 » Component Frameworks - A Case Study |
162
click to vote
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
Games played on graphs may have qualitative objectives, such as the satisfaction of an ω-regular property, or quantitative objectives, such as the optimization of a realvalued re...
139
Voted
CAV
2005
Springer
15 years 10 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
174
Voted
ECOWS
2007
Springer
15 years 8 months ago
2007
Springer
Web services are self-contained, modular units of application logic which provide business functionality to other applications via Internet connections. Several models have been u...
137
Voted
WS
2005
ACM
15 years 10 months ago
2005
ACM
The pervasiveness of wireless devices and the architectural organization of wireless networks in distributed communities, where no notion of trust can be assumed, are the main rea...
164
click to vote
APSEC
2008
IEEE
15 years 6 months ago
2008
IEEE
Reactive systems are often described by interconnecting sub-components along architectural connectors defining communication policies. Generally, such global systems may exhibit p...