1432 search results - page 43 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
132
click to vote
PODC
1990
ACM
15 years 7 months ago
1990
ACM
Three self-stabilizing protocols for distributed systems in the shared memory model are presented. The first protocol is a mutual exclusion protocol for tree structured systems. T...
131
click to vote
CODES
2009
IEEE
15 years 8 months ago
2009
IEEE
In a multiprocessor system-on-chip (MPSoC) private caches introduce the cache coherence problem. Here, we target at heterogeneous MPSoCs with a network-on-chip (NoC). Existing har...
112
click to vote
ICST
2008
IEEE
15 years 9 months ago
2008
IEEE
Microsoft is producing high-quality documentation for Windows client-server and server-server protocols. Our group in the Windows organization is responsible for verifying the doc...
144
click to vote
FUIN
2007
15 years 3 months ago
2007
In this paper we show a novel method for modelling behaviours of security protocols using networks of communicating automata in order to verify them with SAT-based bounded model ch...
132
click to vote
ECMDAFA
2008
Springer
15 years 4 months ago
2008
Springer
In requirements engineering, there are several approaches for requirements modeling such as goal-oriented, aspect-driven, and system requirements modeling. In practice, companies o...