2704 search results - page 476 / 541 » Agent Development with Jackal |
156
click to vote
PADL
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. We describe a declarative language, called BAD (brain architecture description language), which we have developed for describing and then running brain models. Models are...
173
click to vote
CCGRID
2006
IEEE
16 years 10 days ago
2006
IEEE
The development of many complex simulation applications requires collaborative effort from researchers with different domain knowledge and expertise, possibly at different locatio...
146
click to vote
WETICE
2006
IEEE
16 years 8 days ago
2006
IEEE
Verification of the security of software artifacts is a challenging task. An integrated approach that combines verification techniques can increase the confidence in the security ...
184
click to vote
WETICE
2005
IEEE
15 years 12 months ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
153
click to vote
ICFEM
2005
Springer
15 years 11 months ago
2005
Springer
The development of Web Services has transformed the World Wide Web into a more application-aware information portal. The various standards ensure that Web Services are interpretabl...