2002 search results - page 76 / 401 » Designing Organizations: Towards a Model |
CAV
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. CirCUs is a satisfiability solver that works on a combination of AndInverter-Graph, CNF clauses, and BDDs. It has been designed to work well with bounded model checking. ...
P2P
2009
IEEE
14 years 4 months ago
2009
IEEE
—ModelNet is a network emulator designed for repeatable, large-scale experimentation with real networked systems. This talk introduces the ideas behind ModelNet that have made it...
ICWE
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Conceptual modelling is a promising approach for Web application development, thanks to innovative CASE tools that can transform high-level specifications into executabl...
ICSM
2003
IEEE
14 years 3 months ago
2003
IEEE
The world of software development has rapidly changed in the last few years due to the adoption of component-based technologies. The classical software configuration management, ...
ATAL
2006
Springer
14 years 1 months ago
2006
Springer
Detecting and preventing the adversarial action of an agent with respect to the community of agents can be a serious issue in the design of open multi-agent systems. This task is ...