434 search results - page 31 / 87 » The Case for Browser Provenance |
140
click to vote
CEC
2008
IEEE
16 years 10 days 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...
141
click to vote
FMICS
2007
Springer
16 years 1 days 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 ...
173
Voted
ICDIM
2006
IEEE
15 years 12 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...
168
click to vote
ICECCS
2006
IEEE
15 years 12 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...
144
click to vote
ICEIS
2003
IEEE
15 years 11 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...