670 search results - page 48 / 134 » Real Time Model Checking Using Timed Concurrent State Machin... |
100
click to vote
WABI
2007
Springer
15 years 6 months ago
2007
Springer
Christopher James Langmead⋆ and Sumit Kumar Jha Department of Computer Science, Carnegie Mellon University We present a novel approach for predicting protein folding kinetics us...
120
Voted
DEDS
1998
15 years 6 days ago
1998
In this paper, timed Petri nets are used to model and control hybrid systems. Petri nets are used instead of finite automata primarily because of the advantages they offer in de...
83
Voted
CIE
2009
Springer
15 years 7 months ago
2009
Springer
computability uses ordinals instead of natural numbers in abstract machines like register or Turing machines. We give an overview of the computational strengths of α-β-machines,...
146
click to vote
TNN
2008
15 years 13 days ago
2008
We propose a distributed parallel support vector machine (DPSVM) training mechanism in a configurable network environment for distributed data mining. The basic idea is to exchange...
107
Voted
ICFEM
2009
Springer
15 years 7 months ago
2009
Springer
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...