10159 search results - page 1663 / 2032 » System Design Validation Using Formal Models |
164
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
1 Developing modern integrated and embedded systems require well-designed processes to ensure flexibility and independency. These features are related to exchangeability of hardw...
187
click to vote
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
In this work we present the basic concepts for a dynamic plug-in-based software architecture using concepts from the Petri net-based MAS framework Mulan. By transferring the conce...
236
click to vote
PLDI
1997
ACM
15 years 11 months ago
1997
ACM
Set-based analysis is a constraint-based whole program analysis that is applicable to functional and objectoriented programming languages. Unfortunately, the analysis is useless f...
187
click to vote
ITS
2010
Springer
15 years 11 months ago
2010
Springer
The traditional, well established approach to finding out what works in education research is to run a randomized controlled trial (RCT) using a standard pretest and posttest desig...
181
click to vote
EUROSYS
2007
ACM
16 years 3 months ago
2007
ACM
Failure detectors are fundamental building blocks in distributed systems. Multi-node failure detectors, where the detector is tasked with monitoring N other nodes, play a critical...