5961 search results - page 465 / 1193 » Design Science and Software Engineering |
221
Voted
ICDCS
2002
IEEE
16 years 11 days ago
2002
IEEE
Attainment of software performance assurances in open, largely unpredictable environments has recently become an important focus for real-time research. Unlike closed embedded sys...
268
click to vote
SIGMOD
2008
ACM
16 years 7 months ago
2008
ACM
Provenance, or records of the origin, context, custody, derivation or other historical information about a (digital) object, has recently become an important research topic in a n...
177
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Next-generation software engineering is envisioned as a computational discipline that complements human capability through automated computation of software behavior and propertie...
197
Voted
AMAST
2000
Springer
15 years 11 months ago
2000
Springer
The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It a...
205
Voted
CSMR
1999
IEEE
15 years 11 months ago
1999
IEEE
We provide a strategy to restructure transaction processing systems. Such systems are core assets of most modern business operations, so their enhancement is crucial. Before large...