15860 search results - page 2554 / 3172 » Agent-Based Software Engineering |
230
click to vote
CODES
2010
IEEE
15 years 5 months ago
2010
IEEE
With the continuous scaling of semiconductor technology, the life-time of circuit is decreasing so that processor failure becomes an important issue in MPSoC design. A software so...
234
Voted
COMPSAC
2010
IEEE
15 years 5 months ago
2010
IEEE
The advent of emerging technologies such as Web services, service-oriented architecture, and cloud computing has enabled us to perform business services more efficiently and effect...
231
click to vote
EMSOFT
2010
Springer
15 years 5 months ago
2010
Springer
TeleScribe is a software mechanism for efficiently reprogramming embedded systems such as wireless sensor nodes over a shared communication link. One distinguishing feature is its...
204
click to vote
VSTTE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
231
click to vote
ICSM
2009
IEEE
15 years 4 months ago
2009
IEEE
Software can be considered a live entity, as it undergoes many alterations throughout its lifecycle. Furthermore, developers do not usually retain a good design in favor of adding...