561 search results - page 98 / 113 » VSE: Controlling the Complexity in Formal Software Developme... |
ISSTA
2010
ACM
15 years 3 months ago
2010
ACM
When developers change a program, regression tests can fail not only due to faults in the program but also due to outof-date test code that does not reflect the desired behavior ...
105
click to vote
CODES
2008
IEEE
15 years 6 months ago
2008
IEEE
The heterogeneity of modern MPSoC architectures, coupled with the increasing complexity of the applications mapped onto them has recently led to a lot of interest in hybrid perfor...
AINA
2007
IEEE
15 years 6 months ago
2007
IEEE
— Simulation is the most famous way to study wireless an mobile networks since they offer a convenient combination of flexibility and controllability. However, their largest dis...
112
click to vote
WWW
2005
ACM
16 years 11 days ago
2005
ACM
The demand for quickly delivering new applications is increasingly becoming a business imperative today. Application development is often done in an ad hoc manner, without standar...
106
click to vote
ATAL
2009
Springer
15 years 6 months ago
2009
Springer
Commitment-modeled protocols enable flexible and robust interactions among agents. However, existing work has focused on features and capabilities of protocols without considerin...