1525 search results - page 174 / 305 » Formal Models for Communication-Based Design |
100
Voted
FTRTFT
1998
Springer
15 years 5 months ago
1998
Springer
Predictability is crucial in critical applications and systems. Therefore, we examine sources of uncertainty for each of the four phases that span a project lifecycle, from initial...
101
Voted
SP
1997
IEEE
15 years 5 months ago
1997
IEEE
The computer industry is increasingly dependent on open architectural standards for their competitive success. This paper describes a new approach to secure system design in which...
106
Voted
WDAG
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Optimistic and nonblocking concurrent algorithms are increasingly finding their way into practical use; an important example is software transactional memory implementat...
103
Voted
CONTEXT
2007
Springer
15 years 7 months ago
2007
Springer
Indexing is often designed with the intent of dimensional reduction, that is, of generating standardised and uniform descriptive metadata. This could be characterised as a process ...
93
Voted
SEFM
2005
IEEE
15 years 6 months ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...