8828 search results - page 1490 / 1766 » Formal methods in practice |
150
click to vote
ATAL
2005
Springer
16 years 6 days ago
2005
Springer
We introduce MAGENTA’s commercial multi-agent systems technology, and illustrate its practical use by describing a field-tested application in the area of logistics/scheduling....
162
click to vote
ISPD
2004
ACM
16 years 5 days ago
2004
ACM
This paper presents an efficient method for optimizing the design of power/ground (P/G) networks by using locally regular, globally irregular grids. The procedure divides the pow...
192
click to vote
JCDL
2004
ACM
16 years 5 days ago
2004
ACM
Collection understanding shifts the traditional focus of retrieval in large collections from locating specific artifacts to gaining a comprehensive view of the collection. Visuali...
170
click to vote
PDC
2004
ACM
16 years 5 days ago
2004
ACM
How can the documentation of concepts for complex sociotechnical systems, such as the adoption of groupware, be incorporated into practices of PD? Documents are important in suppo...
165
Voted
SIGCSE
2004
ACM
16 years 5 days ago
2004
ACM
Educators are increasingly acknowledging that practical problems in computer science demand basic competencies in experimentation and data analysis. However, little effort has bee...