1709 search results - page 116 / 342 » Precise Modeling of Design Patterns |
111
Voted
SIGSOFT
2008
ACM
16 years 1 months ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
151
click to vote
VIP
2003
15 years 2 months ago
2003
To bridge the semantic gap in content-based image retrieval, detecting meaningful visual entities (e.g. faces, sky, foliage, buildings etc) in image content and classifying images...
CAISE
2004
Springer
15 years 6 months ago
2004
Springer
Six basic notions concerning business processes and their supporting information systems are presented and discussed, on the basis of one common theory. This yields that these noti...
92
Voted
WOSP
2000
ACM
15 years 5 months ago
2000
ACM
In this paper we present a formal approach to analyse performance for distributed systems, which is integrated in the early stages of the software development process. We propose ...
101
Voted
CORR
2010
Springer
15 years 25 days ago
2010
Springer
Design and simulation of future mobile networks will center around human interests and behavior. We propose a design paradigm for mobile networks driven by realistic models of use...