2513 search results - page 277 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
115
Voted
VLSID
2003
IEEE
16 years 1 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...
AIMSA
2008
Springer
15 years 7 months 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...
120
Voted
IEAAIE
2004
Springer
15 years 6 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...
103
Voted
KBSE
1998
IEEE
15 years 5 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...
100
Voted
ECTEL
2006
Springer
15 years 4 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...