3119 search results - page 194 / 624 » Abstract Requirement Analysis in Multiagent System Design |
123
Voted
JSS
2007
15 years 3 months ago
2007
Large systems often have a long life-span and comprise many intricately related elements. The verification and maintenance of these systems require a good understanding of their ...
246
Voted
POPL
2008
ACM
16 years 3 months ago
2008
ACM
alyses are concerned with precise abstractions of the heap to capture detailed structural properties. To do so, they need to build and decompose summaries of disjoint memory regio...
137
Voted
RE
1997
Springer
15 years 7 months ago
1997
Springer
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...
128
click to vote
CSCW
1999
ACM
15 years 3 months ago
1999
ACM
No work is inherently either visible or invisible. We always "see" work through a selection of indicators: straining muscles, finished artifacts, a changed state of affai...
120
Voted
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
Abstract. To achieve an efficient utilization of cluster systems, a proper programming and operating environment is required. In this context, mobile agents are of growing interes...