2409 search results - page 263 / 482 » Logical systems for structured specifications |
121
click to vote
FSKD
2005
Springer
15 years 10 months ago
2005
Springer
With the dramatic development of web technologies, tremendous amount of information become available to users. The great advantages of the web are the ease with which information c...
120
click to vote
COLING
1994
15 years 5 months ago
1994
We present an integrated architecture for word-level and sentence-level processing in a unification-based paradigm. The core of the system is a CLP implementation of a nnilication...
145
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Occult organizational structures in DNA sequences may hold the key to understanding functional and evolutionary aspects of the DNA molecule. Such structures can also p...
135
click to vote
MIDDLEWARE
2001
Springer
15 years 8 months ago
2001
Springer
Although it has long been realised that ACID transactions by themselves are not adequate for structuring long-lived applications and much research work has been done on developing...
144
click to vote
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
In synthesis we construct finite state systems from temporal specifications. While this problem is well understood in the classical setting of non-probabilistic synthesis, this pap...