2748 search results - page 404 / 550 » Generating Object-Z Specifications from Use Cases |
123
click to vote
WSC
1998
15 years 5 months ago
1998
Verification and validation are two very important steps in simulation modeling. Consequently, they are under constant review and examination from many different perspectives. Res...
115
click to vote
ICPR
2010
IEEE
15 years 4 months ago
2010
IEEE
— This paper investigates possible physical alterations of tracking targets to obtain improved 6DoF pose detection for a camera observing the known targets. We explore the influe...
BMCBI
2007
15 years 3 months ago
2007
Background: The Immune Epitope Database contains information on immune epitopes curated manually from the scientific literature. Like similar projects in other knowledge domains, ...
121
click to vote
ENTCS
2010
15 years 3 months ago
2010
The generic modal reasoner CoLoSS covers a wide variety of logics ranging from graded and probabilistic modal logic to coalition logic and conditional logics, being based on a bro...
127
click to vote
AAMAS
2006
Springer
15 years 3 months ago
2006
Springer
In many dynamic open systems, agents have to interact with one another to achieve their goals. Here, agents may be self-interested and when trusted to perform an action for another...