2409 search results - page 320 / 482 » Logical systems for structured specifications |
144
click to vote
MABS
2005
Springer
15 years 9 months ago
2005
Springer
Currently there is a diversity of tools for agent-based simulation, which can be applied to the understanding of social phenomena. Describing this kind of phenomena with a visual l...
148
click to vote
LADC
2007
Springer
15 years 10 months ago
2007
Springer
Analysis and design patterns are well established as a convenient and reusable way to build high-quality object-oriented software. Patterns combine experience and good practices t...
142
click to vote
VRML
2003
ACM
15 years 9 months ago
2003
ACM
Multi-user virtual environment (MUVE) systems integrate the technologies of virtual reality and distributed system to allow users to interact with each other in a realistic virtua...
154
click to vote
DATE
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper describes a simulation technique for RealTime Hw/Sw systems based on an object executable model. It allows designers to seamlessly estimate and verify their solutions f...
138
click to vote
NLE
2008
15 years 3 months ago
2008
This paper describes clime, a web-based legal advisory system with a multilingual natural language interface. clime is a `proof-of-concept' system which answers queries relat...