9018 search results - page 1429 / 1804 » 3D-Brain Model Software |
199
click to vote
ASM
2010
ASM
15 years 10 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
203
click to vote
WSC
2007
15 years 9 months ago
2007
The parametrization of business games benefits from the usage of a multi-tier architecture and software services. This paper shows that the multi-tier concept supports parametriz...
192
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Given the increasing dependence of our societies on networked information systems, the overall security of these systems should be measured and improved. Existing security metrics...
194
click to vote
DSVIS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. A collection of user interface design patterns for workflow information systems is presented. Each Workflow User Interface Pattern (WUIP) is characterized by properties e...
171
click to vote
DGO
2008
15 years 8 months ago
2008
Crisis Management and Disaster Recovery have gained immense importance in the wake of recent man and nature inflicted calamities such as the terrorist attacks of September 11th 20...