1153 search results - page 160 / 231 » Compositional Specification Calculus for Information Systems... |
126
Voted
EDBT
2010
ACM
15 years 7 months ago
2010
ACM
Detecting emerging problems in information and manufacturing systems is the goal of monitoring tools. Good and timely detection of problematic conditions from measured indicators ...
141
click to vote
CBSE
2004
Springer
15 years 9 months ago
2004
Springer
According to Szyperski, “a software component is a unit of composition with contractually specified interfaces and explicit context dependencies only”. But it is well known tha...
133
Voted
WWW
2005
ACM
16 years 4 months ago
2005
ACM
This paper is concerned with the problem of definition search. Specifically, given a term, we are to retrieve definitional excerpts of the term and rank the extracted excerpts acc...
127
Voted
WWW
2010
ACM
15 years 10 months ago
2010
ACM
When you write papers, how many times do you want to make some citations at a place but you are not sure which papers to cite? Do you wish to have a recommendation system which ca...
124
Voted
ACISICIS
2007
IEEE
15 years 10 months ago
2007
IEEE
ORN Additive is a prototype tool that was developed to show how the gap between database modeling and implementation can be reduced—more specifically, to show how associations d...