Sciweavers

882 search results - page 136 / 177
» Analysis of Composite Corridors
Sort
View
HICSS
2009
IEEE
116views Biometrics» more  HICSS 2009»
15 years 6 months ago
Digital Cross-Organizational and Cross-Border Collaboration: A Scientometric Study
Digital cross-organizational and cross-border collaboration are emerging research issues. Significant drivers of this development are collaboration-related information systems. A ...
Maria Madlberger, Narcyz Roztocki
FOSSACS
2009
Springer
15 years 6 months ago
Bisimulation for Demonic Schedulers
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
Konstantinos Chatzikokolakis, Gethin Norman, David...
TACAS
2009
Springer
131views Algorithms» more  TACAS 2009»
15 years 6 months ago
Verifying Reference Counting Implementations
Reference counting is a widely-used resource management idiom which maintains a count of references to each resource by incrementing the count upon an acquisition, and decrementing...
Michael Emmi, Ranjit Jhala, Eddie Kohler, Rupak Ma...
EUROMICRO
2009
IEEE
15 years 6 months ago
The Cycle of Trust in Mixed Service-Oriented Systems
—Many collaboration platforms are realized as service-oriented systems enabling flexible compositions of services and support of interactions. Interactions between entities in s...
Florian Skopik, Daniel Schall, Schahram Dustdar
RTSS
2009
IEEE
15 years 6 months ago
Multiprocessor Extensions to Real-Time Calculus
Abstract—Many embedded platforms consist of a heterogeneous collection of processing elements, memory modules, and communication subsystems. These components often implement diff...
Hennadiy Leontyev, Samarjit Chakraborty, James H. ...