2274 search results - page 227 / 455 » Qualitative Modeling for Requirements Engineering |
198
click to vote
FSTTCS
1998
Springer
15 years 10 months ago
1998
Springer
Molecular Computation (MC) is massively parallel computation where data is stored and processed within objects of molecular size. Biomolecular Computation (BMC) is MC using biotec...
195
click to vote
TASE
2008
IEEE
16 years 27 days ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...
178
click to vote
PRICAI
2004
Springer
15 years 12 months ago
2004
Springer
We present a novel geometric model for robot mapping based on shape. Shape similarity measure and matching techniques originating from computer vision are specially redesigned for ...
167
click to vote
OWLED
2007
15 years 8 months ago
2007
Abstract. We describe a system in which Contextual Logic Programming is used as a mediator for knowledge modeled by ontologies. Our system provides the components required to behav...
149
click to vote
MSR
2010
ACM
15 years 11 months ago
2010
ACM
Abstract—Reliably predicting software defects is one of software engineering’s holy grails. Researchers have devised and implemented a plethora of bug prediction approaches var...