2342 search results - page 186 / 469 » A Methodology for Evaluating Software Engineering Methods an... |
138
click to vote
CAV
2005
Springer
15 years 10 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
139
click to vote
SEE
1997
Springer
15 years 8 months ago
1997
Springer
A concise object-oriented method for the development of real-time systems has been composed. Hardware components are modelled by (sofnuare) base objects; base objects are controll...
149
click to vote
AOSE
2005
Springer
15 years 10 months ago
2005
Springer
This paper synthesizes two trends in the engineering of agent-based systems. One, modern agent-oriented methodologies deal with the key aspects of software development including re...
132
click to vote
GLOBECOM
2007
IEEE
15 years 11 months ago
2007
IEEE
—Measurement and monitoring of network topologies are essential tasks in current network scenarios. Indeed, due to their utility in planning, management, security, and reliabilit...
130
click to vote
IPOM
2005
Springer
15 years 10 months ago
2005
Springer
—Measurement and monitoring of network topologies are essential tasks in current network scenarios. Indeed, due to their utility in planning, management, security, and reliabilit...