Sciweavers

1321 search results - page 188 / 265
» A Context Model for Personal Knowledge Management Applicatio...
Sort
View
ISSTA
2009
ACM
14 years 2 months ago
Precise pointer reasoning for dynamic test generation
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
Bassem Elkarablieh, Patrice Godefroid, Michael Y. ...
EKAW
2000
Springer
13 years 11 months ago
The Role of Ontologies for an Effective and Unambiguous Dissemination of Clinical Guidelines
Guidelines for clinical practice are being introduced in an extensive way in more and more different fields of medicine They have the potential to improve the quality and cost-effi...
Domenico M. Pisanelli, Aldo Gangemi, Geri Steve
SEMWEB
2007
Springer
14 years 1 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
ENVSOFT
2006
76views more  ENVSOFT 2006»
13 years 7 months ago
Hedgers, speculators and forward markets: Evidence from currency markets
: Since Keynes (1930) and Hicks (1939) propounded their theory of normal backwardation, the issue of whether hedgers must pay speculators an insurance premium has remained controve...
K. F. Radalj
WECWIS
2005
IEEE
140views ECommerce» more  WECWIS 2005»
14 years 1 months ago
Developing Flexible Service Portals
Flexible workflow systems are needed for processes that need consistency as well as flexibility (e.g., personalized client interactions). A methodology for designing flexible serv...
Beat Liver, Jeannette Braun, Beatrix Rentsch, Pete...