4919 search results - page 515 / 984 » A Process-Ontological Model for Software Engineering |
176
click to vote
IUI
2009
ACM
16 years 3 months ago
2009
ACM
We present a game-based interface for acquiring common sense knowledge. In addition to being interactive and entertaining, our interface guides the knowledge acquisition process t...
185
click to vote
CGO
2007
IEEE
16 years 1 months ago
2007
IEEE
Emerging microprocessors offer unprecedented parallel computing capabilities and deeper memory hierarchies, increasing the importance of loop transformations in optimizing compile...
181
click to vote
FATES
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. So far, model-based testing approaches have mostly been used in testing through various kinds of APIs. In practice, however, testing through a GUI is another equally impo...
192
click to vote
VMCAI
2005
Springer
16 years 9 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 ...
177
click to vote
EDBTW
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. The Web has been rapidly “deepened” with the prevalence of databases online. On this “deep Web,” numerous sources are structured, providing schema-rich data– Th...