2131 search results - page 259 / 427 » Multi-Agent System Development: Design, Runtime, and Analysi... |
87
Voted
IWFM
1998
14 years 11 months ago
1998
In this paper we suggest methods to aid the development of specifications using the B method. We propose an objectoriented approach to specification, developing the structure thro...
VRST
2005
ACM
15 years 3 months ago
2005
ACM
In this paper, we introduce an interdisciplinary project, involving researchers from the fields of Physical Therapy, Computer Science, Psychology, Communication and Cell Neurobiol...
95
Voted
AAAI
2006
14 years 11 months ago
2006
LOCATE is workspace layout design software that also serves as a testbed for developing and refining principles of adaptive aiding. This demonstration illustrates LOCATE's ab...
SIGSOFT
2010
ACM
14 years 8 months ago
2010
ACM
Delivering increasingly complex software-reliant systems demands better ways to manage the long-term effects of shortterm expedients. The technical debt metaphor is gaining signif...
89
Voted
WOSP
2004
ACM
15 years 3 months ago
2004
ACM
In this paper we describe our experience in performance analysis of the software architecture of the NICE case study which is responsible for providing several secure communicatio...