1966 search results - page 351 / 394 » The Use of Models - Making MABS More Informative |
ICSE
2001
IEEE-ACM
14 years 1 days ago
2001
IEEE-ACM
Global software development is rapidly becoming the norm for technology companies. Previous qualitative research suggests that multi-site development may increase development cycl...
AGENTS
2000
Springer
13 years 12 months ago
2000
Springer
Before the powerful agent programming paradigm can be adopted in commercial or industrial settings, a complete environment, similar to that for other programming languages, must b...
ICECCS
1999
IEEE
13 years 12 months ago
1999
IEEE
We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, su...
FOCS
2004
IEEE
13 years 11 months ago
2004
IEEE
Questions about order versus disorder in systems and models have been fascinating scientists over the years. In Computer Science, order is intimately related to sorting, commonly ...
ESAW
2006
Springer
13 years 11 months ago
2006
Springer
Ad hoc networks are a type of computational system whose members may fail to, or choose not to, comply with the laws governing their behaviour. We are investigating to what extent ...