4636 search results - page 438 / 928 » Modelling and Validation with VipTool |
121
click to vote
HICSS
2003
IEEE
16 years 10 days ago
2003
IEEE
For many years, meeting satisfaction has been a key outcome variable in experimental Group Support Systems (GSS) research. GSS research results on meeting satisfaction are conflic...
180
click to vote
ICIP
2003
IEEE
16 years 9 days ago
2003
IEEE
Regularization constraints are necessary in inverse problems such as image restoration, optical flow computation or shape from shading to avoid the singularities in the solution....
171
click to vote
ICMT
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. In Model-Driven Engineering (MDE), Higher-Order Transformations (HOTs) are model transformations that analyze, produce or manipulate other model transformations. In a pre...
182
click to vote
CHI
1999
ACM
15 years 11 months ago
1999
ACM
Click-down (or pull-down) menus have long been a key component of graphical user interfaces, yet we know surprisingly little about how users actually interact with such menus. Nil...
213
click to vote
ECOOPW
1999
Springer
15 years 11 months ago
1999
Springer
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...