1396 search results - page 91 / 280 » DATES: Design Analysis Tool for Enterprise Systems |
185
click to vote
ICECCS
2009
IEEE
16 years 1 months ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
141
click to vote
ICEIS
2006
IEEE
16 years 11 days ago
2006
IEEE
This paper presents a set of components that support psychotherapy processes on mobile and office settings. One provides patients the required access to psychotherapy artefacts, en...
168
click to vote
HPCN
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. Optimistic execution techniques are widely used in the field of parallel discrete event simulation. In this paper we discuss the use of optimism as a technique for paral...
167
click to vote
FSTTCS
2003
Springer
15 years 11 months ago
2003
Springer
Tagging schemes have been used in security protocols to ensure that the analysis of such protocols can work with messages of bounded length. When the set of nonces is bounded, this...
166
click to vote
OOPSLA
2001
Springer
15 years 10 months ago
2001
Springer
The ability to extend a language with new syntactic forms is a powerful tool. A sufficiently flexible macro system allows programmers to build from a common base towards a langua...