4360 search results - page 632 / 872 » Socio-technical systems: From design methods to systems engi... |
201
click to vote
SAC
2005
ACM
16 years 7 days ago
2005
ACM
The paradigm of Ubiquitous computing seeks to build a computing environment that responds to user context. An ideal file system for the Ubiquitous environment is one that can succ...
227
click to vote
POPL
2011
ACM
14 years 9 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
185
click to vote
KBSE
2005
IEEE
16 years 7 days ago
2005
IEEE
Major software development standards mandate the establishment of trace links among software artifacts such as requirements, architectural elements, or source code without explici...
174
click to vote
DRM
2005
Springer
16 years 6 days ago
2005
Springer
The domain of digital rights management (DRM) is currently lacking a generic architecture that supports interoperability and reuse of specific DRM technologies. This lack of arch...
199
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Elucidating biological networks between proteins appears nowadays as one of the most important challenges in systems biology. Computational approaches to this problem ...