352 search results - page 32 / 71 » Extended Timed Automata and Time Petri Nets |
102
click to vote
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
Given concentrations of metabolites over a sequence of time steps, the metabolic pathway prediction problem seeks a set of reactions and rate constants for them that could yield t...
108
Voted
JUCS
2007
15 years 15 days ago
2007
: Nowadays, software evolution is a very hot topic. It is particularly complex when it regards critical and nonstopping systems. Usually, these situations are tackled by hard-codin...
100
click to vote
VLSID
2003
IEEE
16 years 1 months ago
2003
IEEE
A formal synthesis method for complex real-time embedded software is proposed in this work. Compared to previous work, our method not only synthesizes embedded software with compl...
108
Voted
DAC
1999
ACM
16 years 1 months ago
1999
ACM
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
116
Voted
ACSC
2009
IEEE
15 years 4 months ago
2009
IEEE
The Session Initiation Protocol (SIP) is one of the leading protocols for multimedia control over the Internet, including initiating, maintaining and terminating multimedia sessio...