3828 search results - page 162 / 766 » Proof-Based System Engineering Using a Virtual System Model |
160
click to vote
SEKE
2004
Springer
16 years 5 days ago
2004
Springer
This paper presents the Agent Factory Development Methodology, an Agent-Oriented Software Engineering (AOSE) methodology that employs a synthesis of the Unified Modelling Languag...
194
click to vote
VR
2009
IEEE
16 years 1 months ago
2009
IEEE
Computer-generated facial avatars have been increasingly used in a variety of virtual reality applications. Emulating the real-world face sculpting process, we present an interact...
198
click to vote
ISSTA
1998
ACM
15 years 11 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
154
click to vote
WISER
2004
ACM
16 years 7 days ago
2004
ACM
Many hardware/software co-design models have been proposed [7, 2, 5, 6] that attempt to address problems in the hardware/software interface, in partitioning the system between har...
168
click to vote
IJCNN
2006
IEEE
16 years 26 days ago
2006
IEEE
—Computational models of development aim to describe the mechanisms that underlie the acquisition of new skills or the emergence of new capabilities. The strength of a model is j...