4335 search results - page 533 / 867 » Ontology Engineering Relationally |
189
click to vote
VMCAI
2005
Springer
16 years 6 days ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
214
click to vote
IUI
2004
ACM
16 years 5 days ago
2004
ACM
People are performing increasingly complicated actions on the web, such as automated purchases involving multiple sites. Things often go wrong, however, and it can be difficult to...
153
click to vote
WOSP
2004
ACM
16 years 5 days ago
2004
ACM
When software products are assembled from pre-defined components, performance prediction should be based on the components also. This supports rapid model-building, using previous...
164
click to vote
WOSS
2004
ACM
16 years 5 days ago
2004
ACM
Traditionally, software models are associated with development and maintenance related activities. This paper demonstrates that models also serve a vital purpose in supporting the...
164
click to vote
CGO
2003
IEEE
16 years 1 days ago
2003
IEEE
Dynamic optimization is emerging as a promising approach to overcome many of the obstacles of traditional static compilation. But while there are a number of compiler infrastructu...