2409 search results - page 163 / 482 » Logical systems for structured specifications |
156
click to vote
HICSS
1998
IEEE
15 years 10 months ago
1998
IEEE
Because a hypermedia document is more complex than conventional text, it requires preparation with respect to two key aspects. First, the author begins to develop a "vision&q...
203
click to vote
ENTCS
2006
15 years 6 months ago
2006
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
180
click to vote
ICSE
2005
IEEE-ACM
16 years 6 months ago
2005
IEEE-ACM
Existing spreadsheet systems allow users to change cells arbitrarily, which is a major source of spreadsheet errors. We propose a system that prevents errors in spreadsheets by re...
160
click to vote
EJIS
2010
15 years 6 months ago
2010
In the last few decades, several studies have found the same technology implemented in highly similar organizational settings to be associated with very different consequences for...
160
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Ribozymes are small catalytic RNAs that possess the dual functions of sequencespecific RNA recognition and site-specific cleavage. Trans-cleaving ribozymes can inhibit...