3765 search results - page 696 / 753 » Formal Methods for Systems Engineering Behavior Models |
PPPJ
2003
ACM
14 years 2 months ago
2003
ACM
The graphical user interface (GUI) is an important component of many software systems. Past surveys indicate that the development of a GUI is a significant undertaking and that t...
EMSOFT
2009
Springer
14 years 18 days ago
2009
Springer
This paper addresses the question of producing modular sequential imperative code from synchronous data-flow networks. Precisely, given a system with several input and output flow...
RIAO
2007
13 years 10 months ago
2007
Information Retrieval (IR) systems are built with different goals in mind. Some IR systems target high precision that is to have more relevant documents on the first page of their...
AFRIGRAPH
2001
ACM
14 years 11 days ago
2001
ACM
If a moving image is more expressive than words or than a still image, then an animated facial expression can explain more in depth the feelings of a virtual character. Facial ani...
JUCS
2002
13 years 8 months ago
2002
: Different models and methodologies for the development of hypermedia systems and applications have emerged in the recent years. Software-technical methods and principles enriched...