2339 search results - page 185 / 468 » Models and Tools for Mulan Applications |
168
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Symbolic reasoning is in the core of many software development tools such as: bug-finders, test-case generators, and verifiers. Of renewed interest is the use of symbolic...
164
click to vote
IWACA
1994
15 years 10 months ago
1994
Computers are ever more thought of to support cooperative work over distances. Thus tele-cooperation tools and environments are needed which bring the meeting and joint-working ont...
147
click to vote
IUI
2004
ACM
16 years 3 days ago
2004
ACM
Tools to design, analyse and evaluate user interfaces can be used in user interface design research and in interface modelling research. This demonstration shows two working syste...
187
click to vote
EUSFLAT
2007
15 years 8 months ago
2007
The theory of copulas provides a useful tool for modeling dependence in risk management. In insurance and finance, as well as in other applications, dependence of extreme events ...
215
click to vote
ASM
2010
ASM
15 years 6 months ago
2010
ASM
This paper presents Matelas, a B predicate calculus definition for social networking, modelling social-network content, privacy policies, social-networks friendship relations, and ...