29172 search results - page 369 / 5835 » Modeling Systems in CLP |
202
click to vote
CSREAESA
2003
15 years 8 months ago
2003
We present an approach for Worst-Case Execution Time (WCET) Analysis of embedded system software, that is generated from Petri net specifications. The presented approach is part ...
216
click to vote
FAST
2009
15 years 4 months ago
2009
We present a formalism for provenance in distributed systems based on the -calculus. Its main feature is that all data products are annotated with metadata representing their prov...
273
click to vote
AINA
2008
IEEE
16 years 1 months ago
2008
IEEE
The analysis of gene expression time series obtained from microarray experiments can be effectively exploited to understand a wide range of biological phenomena from the homeostat...
190
click to vote
CASES
2003
ACM
16 years 2 days ago
2003
ACM
Recent research in sensor networks has raised issues of security for small embedded devices. Security concerns are motivated by the deployment of a large number of sensory devices...
163
click to vote
IRI
2006
IEEE
16 years 25 days ago
2006
IEEE
Hurricanes are one of the deadliest and perilous natural calamities on the face of earth having a severe impact both on the lives of the people and economy of a nation. Attempts h...