5863 search results - page 949 / 1173 » On Model-Checking of P Systems |
173
click to vote
SAFECOMP
1999
Springer
15 years 10 months ago
1999
Springer
A crucial aspect of safety case management is the ongoing maintenance of the safety argument through life. Throughout the operational life of any system, the corresponding safety ...
178
click to vote
INFOVIS
1998
IEEE
15 years 10 months ago
1998
IEEE
Geographic Visualization, sometimes called cartographic visualization, is a form of information visualization in which principles from cartography, geographic information systems ...
274
click to vote
LCN
1998
IEEE
15 years 10 months ago
1998
IEEE
Current communication subsystem mechanisms within workstation and PC class computers are limiting network communications throughput to a small percentage of the present network da...
178
click to vote
AGENTS
1998
Springer
15 years 10 months ago
1998
Springer
The World-Wide Web is developing very fast. Currently, nding useful information on the Web is a time consuming process. In this paper, we present WebMate, an agent that helps user...
162
click to vote
DFT
1997
IEEE
15 years 10 months ago
1997
IEEE
Abstract— Error control is a major concern in many computer systems, particularly those deployed in critical applications. Experience shows that most malfunctions during system o...