2118 search results - page 306 / 424 » Execution of A Requirement Model in Software Development |
133
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
ng precision of abstract SystemC models using the SystemC Verification Standard Franco Carbognani1 , Christopher K. Lennard2 , C. Norris Ip3 , Allan Cochrane2 , Paul Bates2 1 Caden...
181
click to vote
CANS
2006
Springer
15 years 8 months ago
2006
Springer
Software watermarking is a new research area that aims at providing copyright protection for commercial software. It minimizes software piracy by hiding copyright signatures inside...
146
click to vote
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
State machine based formalisms such as labelled transition systems (LTS) are generally assumed to be complete descriptions m behaviour at some level of abstraction: if a labelled ...
134
click to vote
IUI
2003
ACM
15 years 9 months ago
2003
ACM
This paper describes lessons learned in developing the linguistic, cognitive, emotional, and gestural models underlying virtual human behavior in a training application designed t...
158
click to vote
MATES
2005
Springer
15 years 9 months ago
2005
Springer
Independent from specific application domains, similar requirements can be identified regarding information needs during daily work. For coping with generality on the one hand an...