1351 search results - page 195 / 271 » A Possible Approach to the Development of Robotic Multi-Agen... |
165
click to vote
EDBT
2010
ACM
15 years 11 months ago
2010
ACM
Database engines and database-centric applications have become complex software systems. Ensuring bug-free database services is therefore a very difficult task. Whenever possible...
129
click to vote
IADIS
2003
15 years 7 months ago
2003
This paper describes the development of a software tool for detection of vulnerabilities in networked systems, using public available security resources. Our tool builds is knowle...
166
click to vote
ENTCS
2008
15 years 6 months ago
2008
ion in PRISM1 Mark Kattenbelt Marta Kwiatkowska Gethin Norman David Parker Oxford University Computing Laboratory, Oxford, UK Modelling and verification of systems such as communi...
139
click to vote
ICSM
2009
IEEE
16 years 17 days ago
2009
IEEE
How and why does software evolve? This question has been under study since almost 40 years ago, and it is still a subject of controversy. In the seventies, Meir M. Lehman formulat...
175
click to vote
MODELS
2009
Springer
16 years 14 days ago
2009
Springer
Model-based development of highly complex software systems leads to large models. Storing them in repositories offers the possibility to work with these models in a distributed env...