784 search results - page 123 / 157 » What would they think |
176
click to vote
ECMDAFA
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
182
click to vote
ISTCS
1992
Springer
15 years 9 months ago
1992
Springer
Concurrent Time-stamp Systems (ctss) allow processes to temporally order concurrent events in an asynchronous shared memorysystem, a powerful tool for concurrency control, serving...
163
click to vote
BIS
2007
15 years 7 months ago
2007
The recent evolution of the Web, now designated by the term Web 2.0, has seen the appearance of a huge number of resources created and annotated by users. However the annotations ...
140
click to vote
CCS
2010
ACM
15 years 5 months ago
2010
ACM
Decentralized information flow control (DIFC) operating systems provide applications with mechanisms for enforcing information-flow policies for their data. However, significant o...
206
click to vote
BMCBI
2005
15 years 5 months ago
2005
Background: The cellular signaling pathway (network) is one of the main topics of organismic investigations. The intracellular interactions between genes in a signaling pathway ar...