2016 search results - page 130 / 404 » Megamaps: Construction and Examples |
166
click to vote
JSS
2006
15 years 6 months ago
2006
Ecological security is an important basis of the entire human security system, the cornerstone for human survival. Knowing the status of ecological security is crucial for making ...
167
click to vote
JUCS
2006
15 years 6 months ago
2006
: Emerging interaction paradigms, such as service-oriented computing, and new technological challenges, such as exogenous component coordination, suggest new roles and application ...
206
click to vote
KBS
2006
2006
Facilitating formal specification acquisition by using recursive functions on context-free languages
15 years 6 months ago
Although formal specification techniques are very useful in software development, the acquisition of formal specification is a difficult task. This paper presents the formal softw...
167
click to vote
LATA
2010
Springer
16 years 3 months ago
2010
Springer
This paper presents a new polynomial-time algorithm for the inclusion problem for certain pairs of regular expressions. The algorithm is not based on construction of finite automat...
156
click to vote
IJFCS
2007
15 years 6 months ago
2007
In this technical report, we present a process algebra aimed at modelling PKI-based systems. The new language, SPIKY, extends the spi-calculus by adding primitives for the retriev...