9702 search results - page 1552 / 1941 » Communicating Mobile Processes |
171
click to vote
EDUTAINMENT
2007
Springer
16 years 28 days ago
2007
Springer
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...
196
click to vote
ER
2007
Springer
16 years 28 days ago
2007
Springer
A key goal in safety-critical system development is to provide assurance that the critical requirements are sufficiently addressed. This goal is typically refined into three sub-go...
154
click to vote
ESAS
2007
Springer
16 years 28 days ago
2007
Springer
Introducing a new device to a network or to another device is one of the most security critical phases of communication in personal networks. There have been several different pro...
184
click to vote
FMICS
2007
Springer
16 years 28 days ago
2007
Springer
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
244
click to vote
IFIP
2007
Springer
16 years 27 days ago
2007
Springer
The support of QoS properties in component-based software requires the run-time selection of appropriate concrete QoS contracts at the ports of the interacting components. Such a s...