4895 search results - page 822 / 979 » Tools for Grammar Engineering |
SEW
2006
IEEE
2006
IEEE
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker
15 years 4 months ago
Although there exist several software model checkers that check the code against properties specified e.g. via a temporal logic and assertions, or just verifying low-level propert...
SYNASC
2006
IEEE
15 years 4 months ago
2006
IEEE
Evolutionary support vector machines (ESVMs) are a novel technique that assimilates the learning engine of the state-of-the-art support vector machines (SVMs) but evolves the coef...
ACMDIS
2006
ACM
15 years 4 months ago
2006
ACM
Human-Computer Interaction (HCI) is defined by the Association for Computing Machinery (ACM) Special Interest Group on Computer-Human Interaction (SIGCHI) as “a discipline conce...
CSCW
2006
ACM
15 years 4 months ago
2006
ACM
Rendezvous is a conference call solution that leverages Voice over IP, enterprise calendaring, instant messaging, and rich client functionality to enhance the user experience and ...
ERLANG
2006
ACM
15 years 4 months ago
2006
ACM
This article introduces Dryverl, an Erlang/C binding code r. Dryverl aims at becoming the most abstract, open and efficient tool for implementing any Erlang/C bindings, as either...