4890 search results - page 787 / 978 » From system specifications to component behavioral models |
119
Voted
TCS
2008
15 years 17 days ago
2008
Abstract. Cryptographic operations are essential for many security-critical systems. Reasoning about information flow in such systems is challenging because typical (noninterferenc...
122
click to vote
ASE
2005
15 years 17 days ago
2005
Despite its well-recognized benefits, software reuse has not met its expected success due to technical, cognitive, and social difficulties. We have systematically analyzed the reu...
99
Voted
IJFCS
2006
15 years 19 days ago
2006
In recent years, workflow technology has greatly facilitated business process modeling and reengineering in information systems. On one hand, the separation of an application'...
146
Voted
WWW
2002
ACM
16 years 1 months ago
2002
ACM
An important trend in Web information processing is the support of multimedia retrieval. However, the most prevailing paradigm for multimedia retrieval, content-based retrieval (C...
120
Voted
STOC
2007
ACM
16 years 29 days ago
2007
ACM
The design of algorithms on complex networks, such as routing, ranking or recommendation algorithms, requires a detailed understanding of the growth characteristics of the network...