2251 search results - page 152 / 451 » Specification and Implementation Problems for C |
141
Voted
ICCAD
1998
IEEE
15 years 8 months ago
1998
IEEE
Designers of distributed embedded systems face many challenges in determining the appropriate tradeoffs to make when defining a system architecture or retargeting an existing desi...
145
Voted
WER
1998
Springer
15 years 8 months ago
1998
Springer
Active systems are emerging in many fields, being particularly interesting those like Active Database Management Systems which always provide some kind of reactive capabilities. I...
144
Voted
DEXA
2008
Springer
15 years 5 months ago
2008
Springer
Recently, a variety of workflow patterns has been proposed focusing on specific aspects like control flow, data flow, and resource assignments. Though these patterns are relevant f...
148
Voted
TII
2010
14 years 10 months ago
2010
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (ContPNs). Specifically, we consider two problems: (1) given an initial set ...
119
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Robust biomarkers are needed to improve microbial identification and diagnostics. Proteomics methods based on mass spectrometry can be used for the discovery of novel ...