2513 search results - page 277 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
180
click to vote
VLSID
2003
IEEE
16 years 7 months ago
2003
IEEE
The design of modern complex embedded systems require a high level of abstraction of the design. The SimnML[1] is a specification language to model processors for such designs. Se...
142
click to vote
AIMSA
2008
Springer
16 years 27 days ago
2008
Springer
This paper presents the Agent MOdeling LAnguage (AMOLA). This language provides the syntax and semantics for creating models of multi-agent systems covering the analysis and design...
214
click to vote
IEAAIE
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents a methodology to automate natural language requirements analysis and class model generation based on the Rational Unified Process (RUP). Use-case language schem...
159
click to vote
KBSE
1998
IEEE
15 years 10 months ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
157
click to vote
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The libre software development model has shown how combining collective intelligence can lead to revolutionary methods that underpin major software advancements. This pap...