97 search results - page 7 / 20 » Agent-Oriented Software Engineering: The State of the Art |
PEPM
2009
ACM
14 years 5 months ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
CCR
2011
13 years 17 days ago
2011
Scalability is said to be one of the major advantages brought by the cloud paradigm and, more specifically, the one that makes it different to an “advanced outsourcing” solu...
KBSE
2009
IEEE
14 years 3 months ago
2009
IEEE
—The analysis of stakeholder requirements is a critical aspect of software engineering. A common way of specifying stakeholder requirements is in terms of a hierarchy of goals wh...
COMPSAC
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—While log data are being increasingly used as digital evidence in judicial disputes, the extent to which existing secure logging protocols used to collect log data ful...
COMPSAC
1997
IEEE
14 years 1 months ago
1997
IEEE
Formal methods are used in a surprisingly wide variety of applications and ways throughout the world. While they may still’be considered a niche market, there is growing evidenc...