713 search results - page 143 / 143 » Formalization, Testing and Execution of a Use Case Diagram |
CMOT
2004
13 years 5 months ago
2004
Social action is situated in fields that are simultaneously composed of interpersonal ties and relations among organizations, which are both usefully characterized as social netwo...
SIGSOFT
2004
ACM
14 years 6 months ago
2004
ACM
In this paper, we describe PSE (Postmortem Symbolic Evaluation), a static analysis algorithm that can be used by programmers to diagnose software failures. The algorithm requires ...
ICRA
2009
IEEE
13 years 12 months ago
2009
IEEE
— Recent research has shown that robots can model their world with Multi-Level (ML) surface maps, which utilize ‘patches’ in a 2D grid space to represent various environment ...