2853 search results - page 242 / 571 » A platform for software engineering research |
136
click to vote
CAV
2005
Springer
15 years 10 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
130
click to vote
JAMIA
2010
14 years 11 months ago
2010
Informatics for Integrating Biology and the Bedside (i2b2) is one of seven projects sponsored by the NIH Roadmap National Centers for Biomedical Computing (http://www. ncbcs.org)....
137
click to vote
PRDC
2007
IEEE
15 years 10 months ago
2007
IEEE
Model-based development is state of the art in software engineering, due to its potential regarding automatic code synthesis. Nevertheless for embedded systems, where there exists...
168
click to vote
QEST
2007
IEEE
15 years 10 months ago
2007
IEEE
Generalized Stochastic Petri Nets (GSPNs) are a widely used high-level formalism used for modelling discrete-event systems. The Platform Independent Petri net Editor (PIPE) is an ...
143
click to vote
ARCS
2005
Springer
15 years 10 months ago
2005
Springer
In Ubiquitous computing small embedded sensor and computing nodes are the main enabling technologies. System programming for such small embedded systems is a challenging task invol...