Sciweavers

1599 search results - page 250 / 320
» A Reference Model for Knowledge Management in Software Engin...
Sort
View
88
Voted
WWW
2005
ACM
15 years 11 months ago
OWL DL vs. OWL flight: conceptual modeling and reasoning for the semantic Web
The Semantic Web languages RDFS and OWL have been around for some time now. However, the presence of these languages has not brought the breakthrough of the Semantic Web the creat...
Axel Polleres, Dieter Fensel, Jos de Bruijn, Rub&e...
SEMWEB
2007
Springer
15 years 4 months ago
Differences + Triple Spaces = Active Triple Spaces
As the Semantic Web (SW) is being automatically populated with large number of RDF triples scalability issues related to wide scale reasoning occur. We believe these difficulties ...
Vlad Tanasescu
93
Voted
ISPASS
2010
IEEE
15 years 5 months ago
Dynamic program analysis of Microsoft Windows applications
—Software instrumentation is a powerful and flexible technique for analyzing the dynamic behavior of programs. By inserting extra code in an application, it is possible to study...
Alex Skaletsky, Tevi Devor, Nadav Chachmon, Robert...
BIRTHDAY
2008
Springer
15 years 7 days ago
From Domain to Requirements
This is a discursive paper. That is, it shows some formulas (but only as examples so that the reader may be convinced that there is, perhaps, some substance to our claims), no theo...
Dines Bjørner
83
Voted
ERLANG
2008
ACM
15 years 3 hour ago
Testing Erlang data types with quviq quickcheck
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...
Thomas Arts, Laura M. Castro, John Hughes