5434 search results - page 858 / 1087 » Tool support for MOLA |
191
click to vote
UML
2005
Springer
15 years 12 months ago
2005
Springer
Many of today’s software applications require a high-level of security, defined by a detailed policy and attained via mechanisms such as role-based access control (RBAC), mandat...
182
click to vote
UML
2005
Springer
15 years 12 months ago
2005
Springer
This paper is not a technical paper that presents a new modelbased UI technique. It is about a project that revisits modeldriven UI design techniques in the context of business pr...
184
click to vote
AIED
2005
Springer
15 years 12 months ago
2005
Springer
Modern computer games show potential not just for engaging and entertaining users, but also in promoting learning. Game designers employ a range of techniques to promote long-term ...
192
click to vote
ICCBR
2005
Springer
15 years 12 months ago
2005
Springer
Small to medium enterprises require an internal control mechanism in order to monitor their modus operandi and to analyse whether they are achieving their goals. A tool for the dec...
176
click to vote
ASPDAC
2004
ACM
15 years 12 months ago
2004
ACM
— In many verification tools methods for functional simulation based on reduced ordered Binary Decision Diagrams (BDDs) are used. The evaluation time for a BDD can be crucial an...