4477 search results - page 661 / 896 » Applications and Environments for Multi-agent Systems |
180
click to vote
TACAS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The Prosper (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more f...
178
click to vote
ISAAC
1995
Springer
15 years 10 months ago
1995
Springer
Ordered Binary-Decision Diagrams (OBDD) are the state-of-the-art data structure for boolean function manipulation and there exist several software packages for OBDD manipulation. ...
177
click to vote
PDPTA
2007
15 years 8 months ago
2007
- Multi-core chips present a new computing environment that can benefit from software support for non-numerical applications. Heterogeneous cores will allow efficient sophisticated...
157
click to vote
WSC
2001
15 years 8 months ago
2001
Despite the potential, the use of simulation technology at US railroads appears to be lagging behind that in manufacturing and other transportation industries. This paper describe...
164
click to vote
SERP
2003
15 years 8 months ago
2003
Feature modeling is commonly used to capture the commonalities and variabilities of systems in a domain during Domain Analysis. The output of feature modeling will be some reusabl...