2173 search results - page 151 / 435 » The Evolution of the DARWIN System |
SEKE
2004
Springer
14 years 2 months ago
2004
Springer
As a security policy model evolves, the design of security systems using that model could become increasingly complicated. It is necessary to come up with an approach to guide the ...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
We describe a resource-based method of morphological annotation of written Korean text. Korean is an agglutinative language. The output of our system is a graph of morphemes annot...
MJ
2008
13 years 9 months ago
2008
The relation between the master equation and the Wigner function to characterize the dissipative system dynamics (evolution, mixedness and decoherence) between a three-level quant...
AUTOMATICA
2002
13 years 9 months ago
2002
This paper presents a series expansion for the evolution of a class of nonlinear systems characterized by constant input vector fields. We present a series expansion that can be c...
ICSE
2009
IEEE-ACM
14 years 3 months ago
2009
IEEE-ACM
In this paper I will address the problem of verifying that a service-oriented embedded system fulÀlls required safety guarantees. Services will be represented by collaborations a...