434 search results - page 31 / 87 » The Case for Browser Provenance |
CEC
2008
IEEE
14 years 3 months ago
2008
IEEE
— Particle swarm has proven to be competitive to other evolutionary algorithms in the field of optimization, and in many cases enables a faster convergence to the ideal solution...
FMICS
2007
Springer
14 years 2 months ago
2007
Springer
Using PVS (Prototype Verification System), we prove that an industry designed scheduler for a smartcard personalization machine is safe and optimal. This scheduler has previously ...
ICDIM
2006
IEEE
14 years 2 months ago
2006
IEEE
Ontologies have been proven invaluable tools both for the semantic web and for personal information management. In the context of a historical archive an ontology may provide mean...
ICECCS
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract— Our approach to the model-driven collaborative design of workflows for bioinformatic applications uses the jABC [6] for model driven mediation and choreography to comp...
ICEIS
2003
IEEE
14 years 1 months ago
2003
IEEE
Abstract: The paper presents ”Any Input XML Output” (AIXO), a general and flexible software architecture for wrappers. The architecture has been designed to present data sourc...