1432 search results - page 102 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
140
Voted
AOSD
2010
ACM
15 years 10 months ago
2010
ACM
Aspect-Oriented Modeling (AOM) provides support for separating concerns at the design level. Even though most AOM approaches provide means to execute the composition of the modula...
112
Voted
ICCD
2005
IEEE
16 years 13 days ago
2005
IEEE
Bulk data movement occurs commonly in server workloads and their performance is rather poor on today’s microprocessors. We propose the use of small dedicated copy engines, and p...
162
Voted
I3E
2001
15 years 4 months ago
2001
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...
127
Voted
STOC
2004
ACM
16 years 3 months ago
2004
ACM
We show how to securely realize any multi-party functionality in a way that preserves security under an a-priori bounded number of concurrent executions, regardless of the number ...
150
click to vote
HPDC
2008
IEEE
15 years 10 months ago
2008
IEEE
If the model of free-form queries, which has proved successful for HTML based search on the Web, is made available for Grid services, it will serve as a powerful tool for scientis...