5972 search results - page 847 / 1195 » Extending Design Environments to Software Architecture Desig... |
212
click to vote
AOSD
2006
ACM
16 years 22 days ago
2006
ACM
The relationships between objects in object-oriented programs are as important as the objects themselves. Unfortunately, most objectoriented programming languages provide little s...
177
click to vote
GI
2005
Springer
16 years 8 days ago
2005
Springer
: A software application is related to the processes it supports. Today, UML diagrams esp. use case diagrams and activity diagrams are often used to model the relevant aspects of t...
188
click to vote
SIGSOFT
2003
ACM
16 years 55 min ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
202
Voted
IJVR
2006
15 years 6 months ago
2006
This paper introduces SCIVE, a Simulation Core for Intelligent Virtual Environments. SCIVE provides a Knowledge Representation Layer (KRL) as a central organizing struc...
190
click to vote
IAT
2006
IEEE
16 years 24 days ago
2006
IEEE
This paper introduces a multi-agent system (MAS) approach for modelling social behaviours in children’s play. The children, the dynamics of their play, and the playground are mo...