3771 search results - page 683 / 755 » Subobject Transformation Systems |
122
click to vote
PODC
2004
ACM
15 years 7 months ago
2004
ACM
We propose a framework to translate certain subclasses of differential equation systems into distributed protocols that are practical. The synthesized protocols are state machine...
121
click to vote
SIGIR
2004
ACM
15 years 7 months ago
2004
ACM
Indexing and ranking are two key factors for efficient and effective XML information retrieval. Inappropriate indexing may result in false negatives and false positives, and impro...
120
click to vote
SIGMOD
2010
ACM
15 years 7 months ago
2010
ACM
As the study of graphs, such as web and social graphs, becomes increasingly popular, the requirements of efficiency and programming flexibility of large graph processing tasks c...
108
click to vote
CHARME
2001
Springer
15 years 7 months ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
144
click to vote
POPL
1997
ACM
15 years 6 months ago
1997
ACM
Type systems currently available for imperative languages are too weak to detect a significant class of programming errors. For example, they cannot express the property that a l...