14331 search results - page 411 / 2867 » On the modeling and analysis of obligations |
151
click to vote
WSC
2008
15 years 9 months ago
2008
This paper describes an analysis performed to assess the fidelity, scalability, and performance of the Sage
161
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
Static timing analysis is a critical step in design of any digital integrated circuit. Technology and design trends have led to significant increase in environmental and process v...
178
click to vote
KDD
1997
ACM
15 years 11 months ago
1997
ACM
Exploratory data analysis is inherently an iterative, interactive endeavor. In the context of massive data sets, however, many current data analysis algorithms will not scale appr...
174
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
Tracking subset relations between the contents containers on the heap is fundamental to modeling the semantics of many common programing idioms such as applying a function to a sub...
178
click to vote
GIS
1999
ACM
15 years 11 months ago
1999
ACM
Frameworks and Patterns are important instruments that enable the reuse of successful software solutions in recurrent problems. Geographic information systems, on the other hand, ...