6474 search results - page 1080 / 1295 » Towards a Systemic Approach to Autonomic Systems Engineering |
351
click to vote
TASE
2012
IEEE
14 years 2 months ago
2012
IEEE
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...
218
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Current web search engines return result pages containing mostly text summary even though the matched web pages may contain informative pictures. A text excerpt (i.e. snippet) is ...
213
click to vote
AOSD
2009
ACM
16 years 2 months ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
200
click to vote
ATAL
2003
Springer
16 years 13 days ago
2003
Springer
Future large-scale software development projects will require engineering support for a diverse range of software quality attributes, such as privacy and openness. It is not feasi...
235
click to vote
KBSE
2010
IEEE
15 years 5 months ago
2010
IEEE
Software testing has been commonly used in assuring the quality of database applications. It is often prohibitively expensive to manually write quality tests for complex database ...