4211 search results - page 380 / 843 » A formal approach to MASQ |
189
click to vote
BIRTHDAY
2005
Springer
16 years 13 days ago
2005
Springer
The “classical” approach to represent Petri nets by graph transformation systems is to translate each transition of a specific Petri net to a graph rule (behavior rule). This ...
185
click to vote
ICTAC
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...
177
click to vote
IPSN
2004
Springer
16 years 7 days ago
2004
Springer
This paper presents an approach for dynamic software reconfiguration in sensor networks. Our approach utilizes explicit models of the design space of the embedded application. The...
193
click to vote
VECPAR
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. IBM is currently developing the new line of BlueGene/L supercomputers. The top-of-the-line installation is planned to be a 65,536 processors system featuring a peak perfo...
185
click to vote
CCGRID
2003
IEEE
16 years 5 days ago
2003
IEEE
— Due to enormous complexity of the unstructured peer-to-peer networks as large-scale, self-configure, and dynamic systems, the models used to characterize these systems are eit...