9842 search results - page 733 / 1969 » Compositional timing analysis |
141
click to vote
HICSS
2009
IEEE
16 years 2 months ago
2009
IEEE
Digital cross-organizational and cross-border collaboration are emerging research issues. Significant drivers of this development are collaboration-related information systems. A ...
198
click to vote
FOSSACS
2009
Springer
16 years 2 months ago
2009
Springer
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...
189
click to vote
TACAS
2009
Springer
16 years 2 months ago
2009
Springer
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...
221
click to vote
EUROMICRO
2009
IEEE
16 years 2 months ago
2009
IEEE
—Many collaboration platforms are realized as service-oriented systems enabling flexible compositions of services and support of interactions. Interactions between entities in s...
188
click to vote
ICUIMC
2009
ACM
16 years 2 months ago
2009
ACM
Although documents have hundreds of thousands of unique words, only a small number of words are significantly useful for intelligent services. For this reason, feature extraction ...