3619 search results - page 275 / 724 » Humor modeling in the interface |
186
click to vote
IEE
2008
15 years 6 months ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
154
click to vote
CAD
2004
Springer
15 years 6 months ago
2004
Springer
To allow a designer to focus on the information that is relevant for a particular product development phase, is an important aspect of integral product development. Unlike current...
187
click to vote
ENVSOFT
2002
15 years 6 months ago
2002
Many challenges are associated with the integration of geographic information systems (GISs) with models in specific applications. One of them is adapting models to the environmen...
175
click to vote
SPRINGSIM
2010
15 years 5 months ago
2010
: Creating models and analyzing simulation results can be a difficult and time-consuming task, especially for non-experienced users. Although several DEVS simulators have been deve...
158
click to vote
WWW
2002
ACM
16 years 7 months ago
2002
ACM
Multimedia scheduling models provide a rich variety of tools for managing the synchronization of media like video and audio, but generally have an inflexible model for time itself...