10159 search results - page 304 / 2032 » System Design Validation Using Formal Models |
93
Voted
JSS
2006
15 years 3 months ago
2006
This article introduces the entity-life modeling (ELM) design approach for multithread software. The article focuses on problems that can be described by state machines with assoc...
113
Voted
DIGRA
2003
Springer
15 years 8 months ago
2003
Springer
We present a model to support the design, analysis, and comparison of games through the use of game design patterns, descriptions of reoccurring interaction relevant to game play....
152
Voted
SEMWEB
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. WebML (Web Modelling Language) is a language for the design of dataintensive Web sites. It is supported by visual tools allowing the definition of the conceptual data or...
188
Voted
ICDAR
2009
IEEE
15 years 1 months ago
2009
IEEE
In our previous work, a precision constrained Gaussian model (PCGM) was proposed for character modeling to design compact recognizers of handwritten Chinese characters. A maximum ...
138
Voted
WSCG
2004
15 years 5 months ago
2004
Rasterization of polygons in 2D is a well known problem, existing several optimal solutions to solve it. The extension of this problem to 3D is more difficult and most existing so...