2836 search results - page 341 / 568 » Model Checking for Software Architectures |
163
click to vote
EHCI
2001
15 years 7 months ago
2001
We present a way of analyzing sensed context information formulated to help in the generation, documentation and assessment of the designs of context-aware applications. Starting w...
165
click to vote
JSA
2008
15 years 6 months ago
2008
Like most software products, protocols are continuously enhanced and new protocols are developed. But especially new protocols of the transport layer can not be utilized widely ea...
177
click to vote
ICWS
2009
IEEE
16 years 3 months ago
2009
IEEE
Currently, business requirements for rapid operational efficiency, customer responsiveness as well as rapid adaptability are driving the need for ever increasing communication and...
139
click to vote
CAEPIA
2003
Springer
15 years 11 months ago
2003
Springer
This paper describes how agent and knowledge technology can be used to build advanced software systems that support operational decisionn complex domains. In particular, we present...
187
click to vote
CODES
2006
IEEE
16 years 10 days ago
2006
IEEE
Transaction-level modeling has been touted to improve simulation performance and modeling efficiency for early design space exploration. But no tools are available to generate suc...