1004 search results - page 106 / 201 » Issues in Applying Empirical Software Engineering to Softwar... |
179
click to vote
ICSE
1998
IEEE-ACM
15 years 10 months ago
1998
IEEE-ACM
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...
192
click to vote
ICSM
2009
IEEE
16 years 25 days ago
2009
IEEE
Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered mode...
176
click to vote
ARCS
2005
Springer
15 years 11 months ago
2005
Springer
This paper examines how methods inspired by biological processes can be applied to the design of large-scale environment-aware sensor networks. Our ultimate goal are systems conta...
152
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
Increasingly systems are composed of parts: software components, and the interaction mechanisms (connectors) that enable them to communicate. When assembling systems from independ...
157
click to vote
CSMR
2005
IEEE
15 years 11 months ago
2005
IEEE
Analyzing historical information can show how a software system evolved into its current state, which parts of the system are stable and which have changed more. However, historic...