636 search results - page 83 / 128 » A Web-Based P Systems Simulator and Its Parallelization |
169
click to vote
TLCA
1997
Springer
15 years 8 months ago
1997
Springer
We present new sound and complete axiomatizations of type equality and subtype inequality for a first-order type language with regular recursive types. The rules are motivated by ...
115
Voted
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— In this paper we propose a testing based method for safety/ reachability analysis of stochastic hybrid systems. Testing based methods are characterized by analysis based on the...
129
Voted
WWW
2002
ACM
16 years 4 months ago
2002
ACM
The web's hyperlinks are notoriously brittle, and break whenever a resource migrates. One solution to this problem is a transparent resource migration mechanism, which separa...
165
Voted
IH
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. A physically unclonable function (PUF) is a multiple-input, multipleoutput, large entropy physical system that is unreproducible due to its structural complexity. A publi...
135
click to vote
ICPADS
2008
IEEE
15 years 10 months ago
2008
IEEE
It is common that Internet service hosting centres use several logical pools to assign server resources to different applications, and that they try to achieve the highest total r...