Sciweavers

16725 search results - page 270 / 3345
» Engineering Software Correctness
Sort
View
87
Voted
FSTTCS
2008
Springer
15 years 4 months ago
About models of security protocols
Hubert Comon-Lundh
AGILEDC
2008
IEEE
15 years 4 months ago
Remote Mentoring a Distributed Agile Team
J. Jagadish Shrinivasavadhani, Vinod Panicker
AC
2006
Springer
15 years 3 months ago
Models and Methods in Comparative Genomics
Guillaume Bourque, Louxin Zhang
106
Voted
CSSE
2006
IEEE
15 years 3 months ago
Integrating social modelling and agent interaction through goal-oriented analysis
Iyad Rahwan, Thomas Juan, Leon Sterling
129
Voted
AC
2005
Springer
15 years 3 months ago
Verification and Validation and Artificial Intelligence
Tim Menzies, Charles Pecheur